src/Tools/jEdit/plugin/actions.xml
author wenzelm
Mon Dec 07 22:40:01 2009 +0100 (2009-12-07)
changeset 34750 8a630617faa9
parent 34652 5fe5e00ec430
child 34760 dc7f5e0d9d27
permissions -rw-r--r--
removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;
     1 <ACTIONS>
     2 	<ACTION NAME="isabelle.show-output">
     3 		<CODE>
     4 			wm.addDockableWindow("isabelle-output");
     5 		</CODE>
     6 	</ACTION>
     7 	<ACTION NAME="isabelle.show-state">
     8 		<CODE>
     9 			wm.addDockableWindow("isabelle-state");
    10 		</CODE>
    11 	</ACTION>
    12   <ACTION NAME="isabelle.show-browser">
    13 		<CODE>
    14 			wm.addDockableWindow("isabelle-browser");
    15 		</CODE>
    16 	</ACTION>
    17   <ACTION NAME="isabelle.activate">
    18 		<CODE>
    19 			isabelle.jedit.Isabelle.plugin().switch_active(view);
    20 		</CODE>
    21 		<IS_SELECTED>
    22 			return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
    23 		</IS_SELECTED>
    24 	</ACTION>
    25 </ACTIONS>