equal
deleted
inserted
replaced
100 * Action isabelle.reset-font-size resets main text area font size |
100 * Action isabelle.reset-font-size resets main text area font size |
101 according to Isabelle/Scala plugin option "jedit_font_reset_size" |
101 according to Isabelle/Scala plugin option "jedit_font_reset_size" |
102 (cf. keyboard shortcut C+0). |
102 (cf. keyboard shortcut C+0). |
103 |
103 |
104 * File specifications in jEdit (e.g. file browser) may refer to |
104 * File specifications in jEdit (e.g. file browser) may refer to |
105 $ISABELLE_HOME on all platforms. Discontinued obsolete |
105 $ISABELLE_HOME and $ISABELLE_HOME_USER on all platforms. Discontinued |
106 $ISABELLE_HOME_WINDOWS variable. |
106 obsolete $ISABELLE_HOME_WINDOWS variable. |
107 |
107 |
108 * Improved support for Linux look-and-feel "GTK+", see also "Utilities |
108 * Improved support for Linux look-and-feel "GTK+", see also "Utilities |
109 / Global Options / Appearance". |
109 / Global Options / Appearance". |
110 |
110 |
111 * Improved support of native Mac OS X functionality via "MacOSX" |
111 * Improved support of native Mac OS X functionality via "MacOSX" |