# HG changeset patch
# User wenzelm
# Date 1285181425 -7200
# Node ID a58eba339d2b5040c1861c9a9611b9b713456317
# Parent  8052101883c310cd04934a51aaa831e93cdb0219
tuned panel names and actions;

diff -r 8052101883c3 -r a58eba339d2b src/Tools/jEdit/plugin/Isabelle.props
--- 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
diff -r 8052101883c3 -r a58eba339d2b src/Tools/jEdit/plugin/actions.xml
--- 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>