Commit history

1. Commits on Feb 9, 2018

   • Move HUD hiding options to HUD tab in Preferences.

     wereturtle

     committed
     3356573View commit details

     Copy full SHA for 3356573

     View code at this pointBrowse repository at this point

   • Add options to autohide HUDs.

     wereturtle

     committed
     3e17a16View commit details

     Copy full SHA for 3e17a16

     View code at this pointBrowse repository at this point

   • Move square vs rounded corners setting from theme and into general settings. Have setting set scrollbars, HUD shapes, and editor corners.

     wereturtle

     committed
     33125b5View commit details

     Copy full SHA for 33125b5

     View code at this pointBrowse repository at this point

   • Add `Typewriter` focus mode.

     Show description for 8fc3d37
     

     hirschenberger

     authored and

     wereturtle

     committed
     8fc3d37View commit details

     Copy full SHA for 8fc3d37

     View code at this pointBrowse repository at this point
2. Commits on Dec 23, 2016

   • Closes #109. Ensure editor respects automatch characters option and paired character filter when inserting characters for selected text.

     wereturtle

     committed
     5ad3a7fView commit details

     Copy full SHA for 5ad3a7f

     View code at this pointBrowse repository at this point
3. Commits on Oct 30, 2016

   • Closes #124. Create Preferences dialog.

     wereturtle

     committed
     e33af3cView commit details

     Copy full SHA for e33af3c

     View code at this pointBrowse repository at this point
4. Commits on Aug 30, 2016

   • Fix compiler error.

     wereturtle

     committed
     c77df07View commit details

     Copy full SHA for c77df07

     View code at this pointBrowse repository at this point
5. Loading