--- a/src/Tools/jEdit/plugin/actions.xml Sat Dec 20 17:14:27 2008 +0100
+++ b/src/Tools/jEdit/plugin/actions.xml Sat Dec 20 17:16:29 2008 +0100
@@ -1,20 +1,20 @@
<ACTIONS>
- <ACTION NAME="Isabelle.show-output">
+ <ACTION NAME="isabelle.show-output">
<CODE>
- wm.addDockableWindow("Isabelle_output");
+ wm.addDockableWindow("isabelle-output");
</CODE>
</ACTION>
- <ACTION NAME="Isabelle.show-state">
+ <ACTION NAME="isabelle.show-state">
<CODE>
- wm.addDockableWindow("Isabelle_state");
+ wm.addDockableWindow("isabelle-state");
</CODE>
</ACTION>
- <ACTION NAME="Isabelle.show-scroller">
+ <ACTION NAME="isabelle.show-scroller">
<CODE>
- wm.addDockableWindow("Isabelle_scroller");
+ wm.addDockableWindow("isabelle-scroller");
</CODE>
</ACTION>
- <ACTION NAME="Isabelle.activate">
+ <ACTION NAME="isabelle.activate">
<CODE>
isabelle.jedit.Plugin$.MODULE$.plugin().install(view);
</CODE>
--- a/src/Tools/jEdit/plugin/dockables.xml Sat Dec 20 17:14:27 2008 +0100
+++ b/src/Tools/jEdit/plugin/dockables.xml Sat Dec 20 17:16:29 2008 +0100
@@ -3,13 +3,13 @@
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
<DOCKABLES>
- <DOCKABLE NAME="Isabelle_output" MOVABLE="TRUE">
+ <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
new isabelle.jedit.OutputDockable(view, position);
</DOCKABLE>
- <DOCKABLE NAME="Isabelle_state" MOVABLE="TRUE">
+ <DOCKABLE NAME="isabelle-state" MOVABLE="TRUE">
new isabelle.jedit.StateViewDockable(view, position);
</DOCKABLE>
- <DOCKABLE NAME="Isabelle_scroller" MOVABLE="TRUE">
+ <DOCKABLE NAME="isabelle-scroller" MOVABLE="TRUE">
new isabelle.jedit.ScrollerDockable(view, position);
</DOCKABLE>
</DOCKABLES>
\ No newline at end of file
--- a/src/Tools/jEdit/src/jedit/Plugin.scala Sat Dec 20 17:14:27 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala Sat Dec 20 17:16:29 2008 +0100
@@ -79,7 +79,7 @@
case None =>
case Some(prover_setup) =>
prover_setup.theory_view.activate
- val dockable = epu.getEditPane.getView.getDockableWindowManager.getDockable("Isabelle_output")
+ val dockable = epu.getEditPane.getView.getDockableWindowManager.getDockable("isabelle-output")
if(dockable != null) {
val output_dockable = dockable.asInstanceOf[OutputDockable]
if(output_dockable.getComponent(0) != prover_setup.output_text_view ) {
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala Sat Dec 20 17:14:27 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala Sat Dec 20 17:16:29 2008 +0100
@@ -48,7 +48,7 @@
theory_view.activate
prover.outputInfo.add( text => {
output_text_view.append(text)
- val dockable = view.getDockableWindowManager.getDockable("Isabelle_output")
+ val dockable = view.getDockableWindowManager.getDockable("isabelle-output")
//link process output if dockable is active
if(dockable != null) {
val output_dockable = dockable.asInstanceOf[OutputDockable]
@@ -62,7 +62,7 @@
//register for state-view
stateUpdate.add(state => {
- val state_view = view.getDockableWindowManager.getDockable("Isabelle_state")
+ val state_view = view.getDockableWindowManager.getDockable("isabelle-state")
val state_panel = if(state_view != null) state_view.asInstanceOf[StateViewDockable].panel else null
if(state_panel != null){
if (state == null)