# HG changeset patch
# User wenzelm
# Date 1392746413 -3600
# Node ID aa1adeca714b99fb7abc2a34203c99a3fc1463a8
# Parent  60ba93d8f9e5554743ce225f91570900b14add50
standardized action and panel names;

diff -r 60ba93d8f9e5 -r aa1adeca714b src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Tue Feb 18 19:00:13 2014 +0100
@@ -36,8 +36,8 @@
   isabelle.output-panel \
   isabelle.protocol-panel \
   isabelle.raw-output-panel \
+  isabelle.simplifier-trace-panel \
   isabelle.sledgehammer-panel \
-  isabelle.simp-trace-panel \
   isabelle.symbols-panel \
   isabelle.syslog-panel \
   isabelle.theories-panel \
@@ -48,7 +48,7 @@
 isabelle.output-panel.label=Output panel
 isabelle.protocol-panel.label=Protocol panel
 isabelle.raw-output-panel.label=Raw Output panel
-isabelle.simp-trace-panel.label=Simplifier trace panel
+isabelle.simplifier-trace-panel.label=Simplifier Trace panel
 isabelle.sledgehammer-panel.label=Sledgehammer panel
 isabelle.symbols-panel.label=Symbols panel
 isabelle.syslog-panel.label=Syslog panel
@@ -61,7 +61,7 @@
 isabelle-info.title=Info
 isabelle-monitor.title=Monitor
 isabelle-output.title=Output
-isabelle-simp-trace.title=Simplifier trace
+isabelle-simplifier-trace.title=Simplifier Trace
 isabelle-protocol.title=Protocol
 isabelle-raw-output.title=Raw Output
 isabelle-documentation.title=Documentation
diff -r 60ba93d8f9e5 -r aa1adeca714b src/Tools/jEdit/src/actions.xml
--- a/src/Tools/jEdit/src/actions.xml	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/actions.xml	Tue Feb 18 19:00:13 2014 +0100
@@ -42,9 +42,9 @@
 			wm.addDockableWindow("isabelle-raw-output");
 		</CODE>
 	</ACTION>
-	<ACTION NAME="isabelle.simp-trace-panel">
+	<ACTION NAME="isabelle.simplifier-trace-panel">
 		<CODE>
-			wm.addDockableWindow("isabelle-simp-trace");
+			wm.addDockableWindow("isabelle-simplifier-trace");
 		</CODE>
 	</ACTION>
 	<ACTION NAME="isabelle.protocol-panel">
diff -r 60ba93d8f9e5 -r aa1adeca714b src/Tools/jEdit/src/dockables.xml
--- a/src/Tools/jEdit/src/dockables.xml	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/dockables.xml	Tue Feb 18 19:00:13 2014 +0100
@@ -41,7 +41,7 @@
 	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
 		new isabelle.jedit.Symbols_Dockable(view, position);
 	</DOCKABLE>
-	<DOCKABLE NAME="isabelle-simp-trace" MOVABLE="TRUE">
+	<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE">
 		new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
 	</DOCKABLE>
 </DOCKABLES>
diff -r 60ba93d8f9e5 -r aa1adeca714b src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Tue Feb 18 19:00:13 2014 +0100
@@ -83,7 +83,7 @@
     }
 
   def docked_simplifier_trace(view: View): Option[Simplifier_Trace_Dockable] =
-    wm(view).getDockableWindow("isabelle-simp-trace") match {
+    wm(view).getDockableWindow("isabelle-simplifier-trace") match {
       case dockable: Simplifier_Trace_Dockable => Some(dockable)
       case _ => None
     }
diff -r 60ba93d8f9e5 -r aa1adeca714b src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Tue Feb 18 19:00:13 2014 +0100
@@ -189,7 +189,7 @@
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-sledgehammer.dock-position=bottom
-isabelle-simp-trace.dock-position=bottom
+isabelle-simplifier-trace.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
 isabelle.complete.label=Complete Isabelle text