1.1 --- a/NEWS	Tue Nov 05 16:41:19 2013 +0100
     1.2 +++ b/NEWS	Tue Nov 05 18:16:16 2013 +0100
     1.3 @@ -98,8 +98,9 @@
     1.4  toplevel theorem statements.
     1.5  
     1.6  * Action isabelle.reset-font-size resets main text area font size
     1.7 -according to Isabelle/Scala plugin option "jedit_font_reset_size"
     1.8 -(cf. keyboard shortcut C+0).
     1.9 +according to Isabelle/Scala plugin option "jedit_font_reset_size" (see
    1.10 +also "Plugin Options / Isabelle / General").  It can be bound to some
    1.11 +keyboard shortcut by the user (e.g. C+0 and/or C+NUMPAD0).
    1.12  
    1.13  * File specifications in jEdit (e.g. file browser) may refer to
    1.14  $ISABELLE_HOME and $ISABELLE_HOME_USER on all platforms.  Discontinued

     2.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Nov 05 16:41:19 2013 +0100
     2.2 +++ b/src/Tools/jEdit/src/jEdit.props	Tue Nov 05 18:16:16 2013 +0100
     2.3 @@ -212,8 +212,6 @@
     2.4  isabelle.increase-font-size2.shortcut=C+EQUALS
     2.5  isabelle.reset-continuous-checking.label=Reset continuous checking
     2.6  isabelle.reset-font-size.label=Reset font size
     2.7 -isabelle.reset-font-size.shortcut2=C+NUMPAD0
     2.8 -isabelle.reset-font-size.shortcut=C+0
     2.9  isabelle.reset-node-required.label=Reset node required
    2.10  isabelle.set-continuous-checking.label=Set continuous checking
    2.11  isabelle.set-node-required.label=Set node required