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

--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Wed Nov 10 15:47:56 2010 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Wed Nov 10 15:59:23 2010 +0100
@@ -184,6 +184,8 @@
 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
 sidekick-tree.dock-position=right