--- 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
--- 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">
--- 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>
--- 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
}
--- 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