--- a/src/Tools/jEdit/plugin/Isabelle.props Sat Dec 20 16:04:17 2008 +0100
+++ b/src/Tools/jEdit/plugin/Isabelle.props Sat Dec 20 16:07:51 2008 +0100
@@ -6,8 +6,7 @@
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support
#system parameters
-plugin.isabelle.jedit.Plugin.activate=startup
-plugin.isabelle.jedit.Plugin.option-pane=isabelle
+plugin.isabelle.jedit.Plugin.activate=defer
plugin.isabelle.jedit.Plugin.usePluginHome=false
plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar
@@ -17,6 +16,14 @@
plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
+#options
+plugin.isabelle.jedit.Plugin.option-pane=isabelle
+options.isabelle.label=Isabelle
+options.isabelle.code=new isabelle.jedit.OptionPane();
+options.isabelle.font-path.title=Font Path
+options.isabelle.font-size.title=Font Size
+options.isabelle.font-size=14
+
#menu
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
@@ -30,12 +37,6 @@
Isabelle_state.title=Isabelle State
Isabelle_scroller.title=Isabelle Scroller
-#options
-options.isabelle.label=Isabelle
-options.isabelle.code=new isabelle.jedit.OptionPane();
-options.isabelle.font-path.title=Font Path
-options.isabelle.font-size.title=Font Size
-options.isabelle.font-size=14
-
sidekick.parser.isabelle.label=Isabelle
-mode.text.sidekick.parser=isabelle
\ No newline at end of file
+mode.isabelle.sidekick.parser=isabelle
+mode.ml.sidekick.parser=isabelle