--- a/src/Tools/jEdit/src/jEdit.props Fri Oct 04 13:17:49 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Fri Oct 04 18:51:47 2013 +0200
@@ -211,6 +211,7 @@
isabelle.increase-font-size2.shortcut=C+EQUALS
isabelle.reset-continuous-checking.label=Reset continuous checking
isabelle.reset-font-size.label=Reset font size
+isabelle.reset-font-size.shortcut2=C+NUMPAD0
isabelle.reset-font-size.shortcut=C+0
isabelle.reset-node-required.label=Reset node required
isabelle.set-continuous-checking.label=Set continuous checking