src/Tools/jEdit/src/actions.xml
changeset 49566 66cbf8bb4693
parent 49494 cbcccf2a0f6f
child 49570 2265456f6131
     1.1 --- a/src/Tools/jEdit/src/actions.xml	Tue Sep 25 20:28:47 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/actions.xml	Tue Sep 25 22:36:06 2012 +0200
     1.3 @@ -27,6 +27,11 @@
     1.4  			wm.addDockableWindow("isabelle-output1");
     1.5  		</CODE>
     1.6  	</ACTION>
     1.7 +	<ACTION NAME="isabelle.graph-panel">
     1.8 +		<CODE>
     1.9 +			wm.addDockableWindow("isabelle-graph");
    1.10 +		</CODE>
    1.11 +	</ACTION>
    1.12  	<ACTION NAME="isabelle.raw-output-panel">
    1.13  		<CODE>
    1.14  			wm.addDockableWindow("isabelle-raw-output");