src/Tools/jEdit/plugin/actions.xml
changeset 34760 dc7f5e0d9d27
parent 34750 8a630617faa9
child 34773 bb5d68f7fd5e
     1.1 --- a/src/Tools/jEdit/plugin/actions.xml	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/plugin/actions.xml	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -1,19 +1,7 @@
     1.4 +<?xml version="1.0"?>
     1.5 +<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
     1.6 +
     1.7  <ACTIONS>
     1.8 -	<ACTION NAME="isabelle.show-output">
     1.9 -		<CODE>
    1.10 -			wm.addDockableWindow("isabelle-output");
    1.11 -		</CODE>
    1.12 -	</ACTION>
    1.13 -	<ACTION NAME="isabelle.show-state">
    1.14 -		<CODE>
    1.15 -			wm.addDockableWindow("isabelle-state");
    1.16 -		</CODE>
    1.17 -	</ACTION>
    1.18 -  <ACTION NAME="isabelle.show-browser">
    1.19 -		<CODE>
    1.20 -			wm.addDockableWindow("isabelle-browser");
    1.21 -		</CODE>
    1.22 -	</ACTION>
    1.23    <ACTION NAME="isabelle.activate">
    1.24  		<CODE>
    1.25  			isabelle.jedit.Isabelle.plugin().switch_active(view);
    1.26 @@ -22,4 +10,19 @@
    1.27  			return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
    1.28  		</IS_SELECTED>
    1.29  	</ACTION>
    1.30 +	<ACTION NAME="isabelle.show-results">
    1.31 +		<CODE>
    1.32 +			wm.addDockableWindow("isabelle-results");
    1.33 +		</CODE>
    1.34 +	</ACTION>
    1.35 +	<ACTION NAME="isabelle.show-raw-output">
    1.36 +		<CODE>
    1.37 +			wm.addDockableWindow("isabelle-raw-output");
    1.38 +		</CODE>
    1.39 +	</ACTION>
    1.40 +  <ACTION NAME="isabelle.show-history">
    1.41 +		<CODE>
    1.42 +			wm.addDockableWindow("isabelle-history");
    1.43 +		</CODE>
    1.44 +	</ACTION>
    1.45  </ACTIONS>
    1.46 \ No newline at end of file