standardized action and panel names;
authorwenzelm
Tue Feb 18 19:00:13 2014 +0100 (2014-02-18)
changeset 55557aa1adeca714b
parent 55556 60ba93d8f9e5
child 55558 298274c970b6
standardized action and panel names;
src/Tools/jEdit/src/Isabelle.props
src/Tools/jEdit/src/actions.xml
src/Tools/jEdit/src/dockables.xml
src/Tools/jEdit/src/isabelle.scala
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Tue Feb 18 18:51:03 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Tue Feb 18 19:00:13 2014 +0100
     1.3 @@ -36,8 +36,8 @@
     1.4    isabelle.output-panel \
     1.5    isabelle.protocol-panel \
     1.6    isabelle.raw-output-panel \
     1.7 +  isabelle.simplifier-trace-panel \
     1.8    isabelle.sledgehammer-panel \
     1.9 -  isabelle.simp-trace-panel \
    1.10    isabelle.symbols-panel \
    1.11    isabelle.syslog-panel \
    1.12    isabelle.theories-panel \
    1.13 @@ -48,7 +48,7 @@
    1.14  isabelle.output-panel.label=Output panel
    1.15  isabelle.protocol-panel.label=Protocol panel
    1.16  isabelle.raw-output-panel.label=Raw Output panel
    1.17 -isabelle.simp-trace-panel.label=Simplifier trace panel
    1.18 +isabelle.simplifier-trace-panel.label=Simplifier Trace panel
    1.19  isabelle.sledgehammer-panel.label=Sledgehammer panel
    1.20  isabelle.symbols-panel.label=Symbols panel
    1.21  isabelle.syslog-panel.label=Syslog panel
    1.22 @@ -61,7 +61,7 @@
    1.23  isabelle-info.title=Info
    1.24  isabelle-monitor.title=Monitor
    1.25  isabelle-output.title=Output
    1.26 -isabelle-simp-trace.title=Simplifier trace
    1.27 +isabelle-simplifier-trace.title=Simplifier Trace
    1.28  isabelle-protocol.title=Protocol
    1.29  isabelle-raw-output.title=Raw Output
    1.30  isabelle-documentation.title=Documentation
     2.1 --- a/src/Tools/jEdit/src/actions.xml	Tue Feb 18 18:51:03 2014 +0100
     2.2 +++ b/src/Tools/jEdit/src/actions.xml	Tue Feb 18 19:00:13 2014 +0100
     2.3 @@ -42,9 +42,9 @@
     2.4  			wm.addDockableWindow("isabelle-raw-output");
     2.5  		</CODE>
     2.6  	</ACTION>
     2.7 -	<ACTION NAME="isabelle.simp-trace-panel">
     2.8 +	<ACTION NAME="isabelle.simplifier-trace-panel">
     2.9  		<CODE>
    2.10 -			wm.addDockableWindow("isabelle-simp-trace");
    2.11 +			wm.addDockableWindow("isabelle-simplifier-trace");
    2.12  		</CODE>
    2.13  	</ACTION>
    2.14  	<ACTION NAME="isabelle.protocol-panel">
     3.1 --- a/src/Tools/jEdit/src/dockables.xml	Tue Feb 18 18:51:03 2014 +0100
     3.2 +++ b/src/Tools/jEdit/src/dockables.xml	Tue Feb 18 19:00:13 2014 +0100
     3.3 @@ -41,7 +41,7 @@
     3.4  	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
     3.5  		new isabelle.jedit.Symbols_Dockable(view, position);
     3.6  	</DOCKABLE>
     3.7 -	<DOCKABLE NAME="isabelle-simp-trace" MOVABLE="TRUE">
     3.8 +	<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE">
     3.9  		new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
    3.10  	</DOCKABLE>
    3.11  </DOCKABLES>
     4.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Feb 18 18:51:03 2014 +0100
     4.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Feb 18 19:00:13 2014 +0100
     4.3 @@ -83,7 +83,7 @@
     4.4      }
     4.5  
     4.6    def docked_simplifier_trace(view: View): Option[Simplifier_Trace_Dockable] =
     4.7 -    wm(view).getDockableWindow("isabelle-simp-trace") match {
     4.8 +    wm(view).getDockableWindow("isabelle-simplifier-trace") match {
     4.9        case dockable: Simplifier_Trace_Dockable => Some(dockable)
    4.10        case _ => None
    4.11      }
     5.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Feb 18 18:51:03 2014 +0100
     5.2 +++ b/src/Tools/jEdit/src/jEdit.props	Tue Feb 18 19:00:13 2014 +0100
     5.3 @@ -189,7 +189,7 @@
     5.4  isabelle-output.height=174
     5.5  isabelle-output.width=412
     5.6  isabelle-sledgehammer.dock-position=bottom
     5.7 -isabelle-simp-trace.dock-position=bottom
     5.8 +isabelle-simplifier-trace.dock-position=bottom
     5.9  isabelle-symbols.dock-position=bottom
    5.10  isabelle-theories.dock-position=right
    5.11  isabelle.complete.label=Complete Isabelle text