Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
manage folding via sidekick by default;
authorwenzelm
Wed, 10 Nov 2010 15:59:23 +0100
changeset 40460 b6feba6c9fcc
parent 40459 913e545d9a9b
child 40472 34823a2cba08
manage folding via sidekick by default;
src/Tools/jEdit/dist-template/properties/jedit.props file | annotate | diff | comparison | revisions 
--- 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
isabelle