--- a/src/Tools/jEdit/plugin/Isabelle.props Wed Sep 22 18:21:48 2010 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props Wed Sep 22 20:50:25 2010 +0200
@@ -35,15 +35,15 @@
#menu actions
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.session-panel isabelle.show-output isabelle.show-raw-output isabelle.show-protocol
+plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
isabelle.activate.label=Activate current buffer
-isabelle.session-panel.label=Prover session panel
-isabelle.show-output.label=Show Output
-isabelle.show-raw-output.label=Show Raw Output
-isabelle.show-protocol.label=Show Protocol
+isabelle.session-panel.label=Prover Session panel
+isabelle.output-panel.label=Output panel
+isabelle.raw-output-panel.label=Raw Output panel
+isabelle.protocol-panel.label=Protocol panel
#dockables
-isabelle-session.title=Session
+isabelle-session.title=Prover Session
isabelle-output.title=Output
isabelle-raw-output.title=Raw Output
isabelle-protocol.title=Protocol
--- a/src/Tools/jEdit/plugin/actions.xml Wed Sep 22 18:21:48 2010 +0200
+++ b/src/Tools/jEdit/plugin/actions.xml Wed Sep 22 20:50:25 2010 +0200
@@ -15,17 +15,17 @@
wm.addDockableWindow("isabelle-session");
</CODE>
</ACTION>
- <ACTION NAME="isabelle.show-output">
+ <ACTION NAME="isabelle.output-panel">
<CODE>
wm.addDockableWindow("isabelle-output");
</CODE>
</ACTION>
- <ACTION NAME="isabelle.show-raw-output">
+ <ACTION NAME="isabelle.raw-output-panel">
<CODE>
wm.addDockableWindow("isabelle-raw-output");
</CODE>
</ACTION>
- <ACTION NAME="isabelle.show-protocol">
+ <ACTION NAME="isabelle.protocol-panel">
<CODE>
wm.addDockableWindow("isabelle-protocol");
</CODE>