1.1 --- a/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Jan 25 21:26:25 2011 +0100
     1.2 +++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Tue Jan 25 22:15:03 2011 +0100
     1.3 @@ -178,9 +178,9 @@
     1.4  insert-newline-indent.shortcut=
     1.5  insert-newline.shortcut=ENTER
     1.6  isabelle-output.dock-position=bottom
     1.7 -isabelle-session.dock-position=bottom
     1.8  isabelle-output.height=174
     1.9  isabelle-output.width=412
    1.10 +isabelle-session.dock-position=bottom
    1.11  line-end.shortcut=END
    1.12  line-home.shortcut=HOME
    1.13  lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
    1.14 @@ -188,6 +188,8 @@
    1.15  mode.isabelle.folding=sidekick
    1.16  mode.isabelle.sidekick.showStatusWindow.label=true
    1.17  print.font=IsabelleText
    1.18 +restore.remote=false
    1.19 +restore=false
    1.20  sidekick-tree.dock-position=right
    1.21  sidekick.buffer-save-parse=true
    1.22  sidekick.complete-delay=300
    1.23 @@ -207,4 +209,5 @@
    1.24  view.height=787
    1.25  view.middleMousePaste=true
    1.26  view.showToolbar=false
    1.27 +view.thickCaret=true
    1.28  view.width=1072