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;
wenzelm@34760
     1
<?xml version="1.0"?>
wenzelm@34760
     2
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
wenzelm@34760
     3
wenzelm@34318
     4
<ACTIONS>
immler@34652
     5
  <ACTION NAME="isabelle.activate">
wenzelm@34318
     6
		<CODE>
immler@34462
     7
			isabelle.jedit.Isabelle.plugin().switch_active(view);
wenzelm@34318
     8
		</CODE>
wenzelm@34318
     9
		<IS_SELECTED>
wenzelm@34440
    10
			return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
wenzelm@34318
    11
		</IS_SELECTED>
wenzelm@34318
    12
	</ACTION>
wenzelm@34760
    13
	<ACTION NAME="isabelle.show-results">
wenzelm@34760
    14
		<CODE>
wenzelm@34760
    15
			wm.addDockableWindow("isabelle-results");
wenzelm@34760
    16
		</CODE>
wenzelm@34760
    17
	</ACTION>
wenzelm@34760
    18
	<ACTION NAME="isabelle.show-raw-output">
wenzelm@34760
    19
		<CODE>
wenzelm@34760
    20
			wm.addDockableWindow("isabelle-raw-output");
wenzelm@34760
    21
		</CODE>
wenzelm@34760
    22
	</ACTION>
wenzelm@34760
    23
  <ACTION NAME="isabelle.show-history">
wenzelm@34760
    24
		<CODE>
wenzelm@34760
    25
			wm.addDockableWindow("isabelle-history");
wenzelm@34760
    26
		</CODE>
wenzelm@34760
    27
	</ACTION>
wenzelm@34318
    28
</ACTIONS>