src/Tools/jEdit/src/actions.xml
author wenzelm
Tue Aug 23 12:20:12 2011 +0200 (2011-08-23)
changeset 44385 e7fdb008aa7d
parent 44238 36120feb70ed
child 44864 e50557cb0eb6
permissions -rw-r--r--
propagate editor perspective through document model;
wenzelm@34760
     1
<?xml version="1.0"?>
wenzelm@34760
     2
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
wenzelm@34760
     3
wenzelm@34318
     4
<ACTIONS>
wenzelm@39515
     5
	<ACTION NAME="isabelle.session-panel">
wenzelm@39515
     6
		<CODE>
wenzelm@39515
     7
			wm.addDockableWindow("isabelle-session");
wenzelm@39515
     8
		</CODE>
wenzelm@39515
     9
	</ACTION>
wenzelm@39617
    10
	<ACTION NAME="isabelle.output-panel">
wenzelm@34760
    11
		<CODE>
wenzelm@34773
    12
			wm.addDockableWindow("isabelle-output");
wenzelm@34760
    13
		</CODE>
wenzelm@34760
    14
	</ACTION>
wenzelm@39617
    15
	<ACTION NAME="isabelle.raw-output-panel">
wenzelm@37065
    16
		<CODE>
wenzelm@37065
    17
			wm.addDockableWindow("isabelle-raw-output");
wenzelm@37065
    18
		</CODE>
wenzelm@37065
    19
	</ACTION>
wenzelm@39617
    20
	<ACTION NAME="isabelle.protocol-panel">
wenzelm@34760
    21
		<CODE>
wenzelm@34773
    22
			wm.addDockableWindow("isabelle-protocol");
wenzelm@34760
    23
		</CODE>
wenzelm@34760
    24
	</ACTION>
wenzelm@44238
    25
	<ACTION NAME="isabelle.input-sub">
wenzelm@44238
    26
	  <CODE>
wenzelm@44238
    27
	    isabelle.jedit.Isabelle.input_sub(textArea);
wenzelm@44238
    28
	  </CODE>
wenzelm@44238
    29
	</ACTION>
wenzelm@44238
    30
	<ACTION NAME="isabelle.input-sup">
wenzelm@44238
    31
	  <CODE>
wenzelm@44238
    32
	    isabelle.jedit.Isabelle.input_sup(textArea);
wenzelm@44238
    33
	  </CODE>
wenzelm@44238
    34
	</ACTION>
wenzelm@44238
    35
	<ACTION NAME="isabelle.input-isub">
wenzelm@44238
    36
	  <CODE>
wenzelm@44238
    37
	    isabelle.jedit.Isabelle.input_isub(textArea);
wenzelm@44238
    38
	  </CODE>
wenzelm@44238
    39
	</ACTION>
wenzelm@44238
    40
	<ACTION NAME="isabelle.input-isup">
wenzelm@44238
    41
	  <CODE>
wenzelm@44238
    42
	    isabelle.jedit.Isabelle.input_isup(textArea);
wenzelm@44238
    43
	  </CODE>
wenzelm@44238
    44
	</ACTION>
wenzelm@44238
    45
	<ACTION NAME="isabelle.input-bsub">
wenzelm@44238
    46
	  <CODE>
wenzelm@44238
    47
	    isabelle.jedit.Isabelle.input_bsub(textArea);
wenzelm@44238
    48
	  </CODE>
wenzelm@44238
    49
	</ACTION>
wenzelm@44238
    50
	<ACTION NAME="isabelle.input-bsup">
wenzelm@44238
    51
	  <CODE>
wenzelm@44238
    52
	    isabelle.jedit.Isabelle.input_bsup(textArea);
wenzelm@44238
    53
	  </CODE>
wenzelm@44238
    54
	</ACTION>
wenzelm@44238
    55
	<ACTION NAME="isabelle.input-bold">
wenzelm@44238
    56
	  <CODE>
wenzelm@44238
    57
	    isabelle.jedit.Isabelle.input_bold(textArea);
wenzelm@44238
    58
	  </CODE>
wenzelm@44238
    59
	</ACTION>
wenzelm@44238
    60
wenzelm@34318
    61
</ACTIONS>