Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Keyboard Shortcuts #147
I want to call attention to an important feature. JoshEdit placed all keyboard shortcuts into a settings file, which is a really good idea for several reasons.
Studio recently added a menu to configure these combinations as well.
As of dc99fbf I have moved almost all of the keyboard shortcuts to their own properties files, KeyEvents still need moved however.
The implementation simply utilizes getKeyStroke to let you format a number of combinations.