# HG changeset patch
# User wenzelm
# Date 1470428732 -7200
# Node ID f1cae4239d4c2293321c8019b6208a215f5351af
# Parent  9c870388e87aea26845ad40675fef2783cc02b8a
clarified Sidekick setup;

diff -r 9c870388e87a -r f1cae4239d4c src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Fri Aug 05 22:15:30 2016 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props	Fri Aug 05 22:25:32 2016 +0200
@@ -87,8 +87,9 @@
 mode.isabelle.folding=isabelle
 mode.isabelle.sidekick.parser=isabelle
 mode.isabelle.sidekick.showStatusWindow.label=true
+mode.isabelle-ml.folding=sidekick
 mode.isabelle-ml.sidekick.parser=isabelle-ml
+mode.sml.folding=sidekick
 mode.sml.sidekick.parser=isabelle-sml
-sidekick.parser.isabelle.label=Isabelle
 mode.bibtex.folding=sidekick
 mode.bibtex.sidekick.parser=bibtex