# HG changeset patch
# User wenzelm
# Date 1376072814 -7200
# Node ID a7947b72bac2b24c998f57f90d1ca205f48cf0cc
# Parent  976bd071360c3325e962708715126c1a3173c41d
sorted lines;

diff -r 976bd071360c -r a7947b72bac2 src/Tools/jEdit/src/jEdit.props
--- 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