# HG changeset patch
# User wenzelm
# Date 1295990103 -3600
# Node ID eb512b67a836d1f06b56e9744c5b329f03e78f6d
# Parent  a7a93df2366426b52d28d2b5ae0b0a3ab33a1a87# Parent  8ff597b3dd80e86e5aa16c18687aadf17141293c
merged

diff -r a7a93df23664 -r eb512b67a836 src/Tools/jEdit/dist-template/properties/jedit.props
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Jan 25 21:26:25 2011 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Jan 25 22:15:03 2011 +0100
@@ -178,9 +178,9 @@
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
 isabelle-output.dock-position=bottom
-isabelle-session.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412
+isabelle-session.dock-position=bottom
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
@@ -188,6 +188,8 @@
 mode.isabelle.folding=sidekick
 mode.isabelle.sidekick.showStatusWindow.label=true
 print.font=IsabelleText
+restore.remote=false
+restore=false
 sidekick-tree.dock-position=right
 sidekick.buffer-save-parse=true
 sidekick.complete-delay=300
@@ -207,4 +209,5 @@
 view.height=787
 view.middleMousePaste=true
 view.showToolbar=false
+view.thickCaret=true
 view.width=1072