--- a/src/Tools/jEdit/src/jEdit.props Fri Aug 09 20:23:53 2013 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Fri Aug 09 20:26:54 2013 +0200
@@ -178,29 +178,21 @@
home.shortcut=
insert-newline-indent.shortcut=
insert-newline.shortcut=ENTER
+isabelle-documentation.dock-position=right
isabelle-output.dock-position=bottom
isabelle-output.height=174
isabelle-output.width=412
-isabelle-documentation.dock-position=right
isabelle-readme.dock-position=bottom
isabelle-symbols.dock-position=bottom
isabelle-theories.dock-position=right
-isabelle.set-continuous-checking.label=Set continuous checking
-isabelle.reset-continuous-checking.label=Reset continuous checking
-isabelle.toggle-continuous-checking.label=Toggle continuous checking
-isabelle.toggle-continuous-checking.shortcut=C+e ENTER
-isabelle.set-node-required.label=Set node required
-isabelle.reset-node-required.label=Reset node required
-isabelle.toggle-node-required.label=Toggle node required
-isabelle.toggle-node-required.shortcut=C+e SPACE
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-reset.label=Control reset
+isabelle.control-reset.shortcut=C+e LEFT
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
isabelle.decrease-font-size.shortcut2=C+SUBTRACT
isabelle.decrease-font-size.shortcut=C+MINUS
@@ -211,8 +203,16 @@
isabelle.increase-font-size.shortcut2=C+ADD
isabelle.increase-font-size.shortcut=C+PLUS
isabelle.increase-font-size2.label=Increase font size (clone)
+isabelle.increase-font-size2.shortcut=C+EQUALS
#isabelle.increase-font-size2.shortcut2=C+ADD
-isabelle.increase-font-size2.shortcut=C+EQUALS
+isabelle.reset-continuous-checking.label=Reset continuous checking
+isabelle.reset-node-required.label=Reset node required
+isabelle.set-continuous-checking.label=Set continuous checking
+isabelle.set-node-required.label=Set node required
+isabelle.toggle-continuous-checking.label=Toggle continuous checking
+isabelle.toggle-continuous-checking.shortcut=C+e ENTER
+isabelle.toggle-node-required.label=Toggle node required
+isabelle.toggle-node-required.shortcut=C+e SPACE
lang.usedefaultlocale=false
largefilemode=full
line-end.shortcut=END