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