--- a/src/Tools/jEdit/dist-template/properties/jedit.props Thu Sep 03 17:48:02 2009 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props Thu Sep 03 20:10:23 2009 +0200
@@ -1,4 +1,14 @@
#jEdit properties
+buffer.deepIndent=false
+buffer.encoding=UTF-8-Isabelle
+buffer.indentSize=2
+buffer.lineSeparator=\n
+buffer.maxLineLen=100
+buffer.noTabs=true
+buffer.sidekick.keystroke-parse=true
+buffer.tabSize=2
+delete-line.shortcut=A+d
+delete.shortcut2=C+d
encoding.opt-out.Big5-HKSCS=true
encoding.opt-out.Big5=true
encoding.opt-out.COMPOUND_TEXT=true
@@ -157,19 +167,18 @@
encoding.opt-out.x-windows-949=true
encoding.opt-out.x-windows-950=true
encoding.opt-out.x-windows-iso2022jp=true
-buffer.deepIndent=false
-buffer.encoding=UTF-8-Isabelle
-buffer.indentSize=2
-buffer.lineSeparator=\n
-buffer.maxLineLen=100
-buffer.noTabs=true
-buffer.tabSize=2
+encodingDetectors=BOM XML-PI buffer-local-property
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
firstTime=false
+isabelle-browser.dock-position=bottom
+isabelle-output.dock-position=bottom
+isabelle-state.dock-position=bottom
+isabelle.activate.shortcut=CS+ENTER
+mode.isabelle.sidekick.showStatusWindow.label=true
+sidekick-tree.dock-position=right
+sidekick.buffer-save-parse=true
+sidekick.complete-delay=300
tip.show=false
-encodingDetectors=BOM XML-PI buffer-local-property
-delete-line.shortcut=A+d
-delete.shortcut2=C+d
view.antiAlias=standard
view.blockCaret=true
view.caretBlink=false
@@ -181,12 +190,3 @@
view.gutter.fontsize=12
view.middleMousePaste=true
view.showToolbar=false
-buffer.sidekick.keystroke-parse=true
-sidekick.buffer-save-parse=true
-sidekick.complete-delay=300
-mode.isabelle.sidekick.showStatusWindow.label=true
-sidekick-tree.dock-position=right
-isabelle-state.dock-position=bottom
-isabelle-output.dock-position=bottom
-isabelle-browser.dock-position=bottom
-isabelle.activate.shortcut=CS+ENTER