# HG changeset patch
# User wenzelm
# Date 1548949524 -3600
# Node ID ae1ef77746b5e3ba8b156bf2f51bd8f48e90bd23
# Parent  a8ee66876a1adac3e21eab9bd9f096f4ce849ad4
tuned -- sort lines;

diff -r a8ee66876a1a -r ae1ef77746b5 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:44:04 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:45:24 2019 +0100
@@ -187,18 +187,20 @@
 home.shortcut=
 insert-newline-indent.shortcut=
 insert-newline.shortcut=
-isabelle.antiquoted_cartouche.label=Make antiquoted cartouche
 isabelle-debugger.dock-position=floating
 isabelle-documentation.dock-position=left
+isabelle-export-browser.label=Browse theory exports
 isabelle-output.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-query.dock-position=bottom
+isabelle-session-browser.label=Browse session information
 isabelle-simplifier-trace.dock-position=floating
 isabelle-sledgehammer.dock-position=bottom
 isabelle-state.dock-position=right
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
+isabelle.antiquoted_cartouche.label=Make antiquoted cartouche
 isabelle.complete-word.label=Complete word
 isabelle.complete.label=Complete Isabelle text
 isabelle.complete.shortcut2=C+b
@@ -230,8 +232,6 @@
 isabelle.newline.shortcut=ENTER
 isabelle.options.label=Isabelle options
 isabelle.preview.label=Show preview in browser
-isabelle-export-browser.label=Browse theory exports
-isabelle-session-browser.label=Browse session information
 isabelle.reset-continuous-checking.label=Reset continuous checking
 isabelle.reset-font-size.label=Reset font size
 isabelle.reset-node-required.label=Reset node required