--- 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