search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Adjust Isabelle font using keyboard shortcuts #19

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Support adjusting Isabelle font on-the-fly (as in Isabelle 2013).

The font can be changed via the Preferences, but providing keyboard shortcuts to increase/decrease font would make it easier, e.g. when demonstrating live.

andriusvelykis commented 11 years ago

Implemented 1b5b82ed40ed650657f0076a2b8f4f24cf90289f

Added toolbar buttons font-adjust to increase/decrease fonts. These can also be changed using keyboard: Cmd/Ctrl + "+" to increase, Cmd/Ctrl + "-" to decrease (also Cmd+"=" for Mac OS X to decrease to avoid Shift interfering in small keyboards).