src/Tools/jEdit/dist-template/properties/jedit.props

--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Mon Jan 24 21:30:33 2011 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Jan 25 14:06:43 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