src/Tools/jEdit/src/jEdit.props
changeset 48717 622251b2b0f1
parent 48014 63021e59cbf0
child 50147 8d2251b9a200
--- a/src/Tools/jEdit/src/jEdit.props	Tue Aug 07 20:28:35 2012 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Tue Aug 07 21:38:24 2012 +0200
@@ -180,14 +180,11 @@
 isabelle-output.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412
+isabelle-readme.dock-position=bottom
 isabelle-session.dock-position=bottom
-isabelle-readme.dock-position=bottom
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
-mode.isabelle.customSettings=true
-mode.isabelle.folding=sidekick
-mode.isabelle.sidekick.showStatusWindow.label=true
 print.font=IsabelleText
 restore.remote=false
 restore=false