diff -r afdabfeb5e94 -r d0fa3f446b9d src/Tools/jEdit/src/jEdit.props
--- 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