# HG changeset patch
# User wenzelm
# Date 1252001423 -7200
# Node ID efa196219dd3febbd49a26695be7c4fd9cdaa310
# Parent  80b0add08eef9c5f1ef01be37acd993b45815bfe
sorted;

diff -r 80b0add08eef -r efa196219dd3 src/Tools/jEdit/dist-template/properties/jedit.props
--- 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