--- a/src/Tools/jEdit/src/jEdit.props Tue Aug 13 19:52:12 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Tue Aug 13 20:34:46 2013 +0200
@@ -188,8 +188,8 @@
isabelle-theories.dock-position=right
isabelle.control-bold.label=Control bold
isabelle.control-bold.shortcut=C+e RIGHT
-isabelle.control-isub.label=Control subscript
-isabelle.control-isub.shortcut=C+e DOWN
+isabelle.control-sub.label=Control subscript
+isabelle.control-sub.shortcut=C+e DOWN
isabelle.control-reset.label=Control reset
isabelle.control-reset.shortcut=C+e LEFT
isabelle.control-sup.label=Control superscript