# HG changeset patch
# User wenzelm
# Date 1295960803 -3600
# Node ID 8ff597b3dd80e86e5aa16c18687aadf17141293c
# Parent  ed4d793f0c26a689866f73f8a251f16dd4829fa0
do not restore old files on startup, which is potentially slow due to automatic rechecking;
attempt to enable thick caret for improved visibility;

diff -r ed4d793f0c26 -r 8ff597b3dd80 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