# HG changeset patch
# User wenzelm
# Date 1289401163 -3600
# Node ID b6feba6c9fccf99c951408b85ed30e7793a11836
# Parent  913e545d9a9b060d534983892114c308d8694947
manage folding via sidekick by default;

diff -r 913e545d9a9b -r b6feba6c9fcc 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