--- a/src/Tools/jEdit/plugin/IsabellePlugin.props Wed Oct 22 23:52:40 2008 +0200
+++ b/src/Tools/jEdit/plugin/IsabellePlugin.props Thu Oct 23 14:16:04 2008 +0200
@@ -7,14 +7,16 @@
plugin.isabelle.jedit.Plugin.option-pane=isabelle
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate
+plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
Isabelle.show-output.label=Show Output
Isabelle.show-state.label=Show State
+Isabelle.show-scroller.label=Show Scroller
Isabelle.activate.label=Activate current buffer
Isabelle_output.title=Isabelle Output
Isabelle_state.title=Isabelle State
+Isabelle_scroller.title=Isabelle Scroller
options.isabelle.label=Isabelle
options.isabelle.code=new isabelle.jedit.OptionPane();