# HG changeset patch
# User wenzelm
# Date 1355483931 -3600
# Node ID 4a389d115b4fa1eaf3c6ed39a5d38f531666d474
# Parent  5b7150395568f8f08247265d72a7b0c4de08f622# Parent  7d8406ebe18f22364800db3513e69d424e66878a
merged;

diff -r 5b7150395568 -r 4a389d115b4f src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Fri Dec 14 12:16:08 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Dec 14 12:18:51 2012 +0100
@@ -191,8 +191,8 @@
 isabelle.control-bold.shortcut=C+e RIGHT
 isabelle.control-isub.label=Control subscript
 isabelle.control-isub.shortcut=C+e DOWN
-isabelle.control-isup.label=Control superscript
-isabelle.control-isup.shortcut=C+e UP
+isabelle.control-sup.label=Control superscript
+isabelle.control-sup.shortcut=C+e UP
 isabelle.control-reset.label=Control reset
 isabelle.control-reset.shortcut=C+e LEFT
 isabelle.decrease-font-size.label=Decrease font size