src/Tools/jEdit/src/Isabelle.props

 isabelle-protocol.title=Protocol
 isabelle-readme.title=README
 isabelle-syslog.title=Syslog
 
 #SideKick
-mode.isabelle.sidekick.showStatusWindow.label=true
-sidekick.parser.isabelle.label=Isabelle
-mode.isabelle.sidekick.parser=isabelle
+mode.isabelle-options.folding=sidekick
 mode.isabelle-options.sidekick.parser=isabelle-options
+mode.isabelle-root.folding=sidekick
 mode.isabelle-root.sidekick.parser=isabelle-root
-mode.ml.sidekick.parser=isabelle
-
 mode.isabelle.customSettings=true
 mode.isabelle.folding=sidekick
+mode.isabelle.sidekick.parser=isabelle
+mode.isabelle.sidekick.showStatusWindow.label=true
+mode.ml.sidekick.parser=isabelle
+sidekick.parser.isabelle.label=Isabelle
 
 #Hyperlinks
 mode.isabelle.hyperlink.source=isabelle