src/Tools/jEdit/plugin/actions.xml
author wenzelm
Tue Dec 08 16:30:20 2009 +0100 (2009-12-08)
changeset 34760 dc7f5e0d9d27
parent 34750 8a630617faa9
child 34773 bb5d68f7fd5e
permissions -rw-r--r--
misc modernization of names;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE ACTIONS SYSTEM "actions.dtd">
     3 
     4 <ACTIONS>
     5   <ACTION NAME="isabelle.activate">
     6 		<CODE>
     7 			isabelle.jedit.Isabelle.plugin().switch_active(view);
     8 		</CODE>
     9 		<IS_SELECTED>
    10 			return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
    11 		</IS_SELECTED>
    12 	</ACTION>
    13 	<ACTION NAME="isabelle.show-results">
    14 		<CODE>
    15 			wm.addDockableWindow("isabelle-results");
    16 		</CODE>
    17 	</ACTION>
    18 	<ACTION NAME="isabelle.show-raw-output">
    19 		<CODE>
    20 			wm.addDockableWindow("isabelle-raw-output");
    21 		</CODE>
    22 	</ACTION>
    23   <ACTION NAME="isabelle.show-history">
    24 		<CODE>
    25 			wm.addDockableWindow("isabelle-history");
    26 		</CODE>
    27 	</ACTION>
    28 </ACTIONS>