src/Tools/jEdit/src/actions.xml
author wenzelm
Fri Nov 30 21:30:24 2012 +0100 (2012-11-30)
changeset 50299 f70b3712040f
parent 50209 907373a080b9
child 50433 9131dadb2bf7
permissions -rw-r--r--
renamed dockable "Prover Session" to "Theories";
more uniform Library.lowercase/uppercase;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE ACTIONS SYSTEM "actions.dtd">
     3 
     4 <ACTIONS>
     5 	<ACTION NAME="isabelle.theories-panel">
     6 		<CODE>
     7 			wm.addDockableWindow("isabelle-theories");
     8 		</CODE>
     9 	</ACTION>
    10 	<ACTION NAME="isabelle.syslog-panel">
    11 		<CODE>
    12 			wm.addDockableWindow("isabelle-syslog");
    13 		</CODE>
    14 	</ACTION>
    15 	<ACTION NAME="isabelle.readme-panel">
    16 		<CODE>
    17 			wm.addDockableWindow("isabelle-readme");
    18 		</CODE>
    19 	</ACTION>
    20 	<ACTION NAME="isabelle.output-panel">
    21 		<CODE>
    22 			wm.addDockableWindow("isabelle-output");
    23 		</CODE>
    24 	</ACTION>
    25 	<ACTION NAME="isabelle.graphview-panel">
    26 		<CODE>
    27 			wm.addDockableWindow("isabelle-graphview");
    28 		</CODE>
    29 	</ACTION>
    30 	<ACTION NAME="isabelle.raw-output-panel">
    31 		<CODE>
    32 			wm.addDockableWindow("isabelle-raw-output");
    33 		</CODE>
    34 	</ACTION>
    35 	<ACTION NAME="isabelle.protocol-panel">
    36 		<CODE>
    37 			wm.addDockableWindow("isabelle-protocol");
    38 		</CODE>
    39 	</ACTION>
    40 	<ACTION NAME="isabelle.symbols-panel">
    41 		<CODE>
    42 			wm.addDockableWindow("isabelle-symbols");
    43 		</CODE>
    44 	</ACTION>
    45 	<ACTION NAME="isabelle.check-buffer">
    46 	  <CODE>
    47 	    isabelle.jedit.PIDE.check_buffer(buffer);
    48 	  </CODE>
    49 	</ACTION>
    50 	<ACTION NAME="isabelle.cancel-execution">
    51 	  <CODE>
    52 	    isabelle.jedit.PIDE.cancel_execution();
    53 	  </CODE>
    54 	</ACTION>
    55 	<ACTION NAME="isabelle.increase-font-size">
    56 	  <CODE>
    57 	    isabelle.jedit.Isabelle.increase_font_size(view);
    58 	  </CODE>
    59 	</ACTION>
    60 	<ACTION NAME="isabelle.decrease-font-size">
    61 	  <CODE>
    62 	    isabelle.jedit.Isabelle.decrease_font_size(view);
    63 	  </CODE>
    64 	</ACTION>
    65 	<ACTION NAME="isabelle.control-sub">
    66 	  <CODE>
    67 	    isabelle.jedit.Isabelle.control_sub(textArea);
    68 	  </CODE>
    69 	</ACTION>
    70 	<ACTION NAME="isabelle.control-sup">
    71 	  <CODE>
    72 	    isabelle.jedit.Isabelle.control_sup(textArea);
    73 	  </CODE>
    74 	</ACTION>
    75 	<ACTION NAME="isabelle.control-isub">
    76 	  <CODE>
    77 	    isabelle.jedit.Isabelle.control_isub(textArea);
    78 	  </CODE>
    79 	</ACTION>
    80 	<ACTION NAME="isabelle.control-isup">
    81 	  <CODE>
    82 	    isabelle.jedit.Isabelle.control_isup(textArea);
    83 	  </CODE>
    84 	</ACTION>
    85 	<ACTION NAME="isabelle.control-bold">
    86 	  <CODE>
    87 	    isabelle.jedit.Isabelle.control_bold(textArea);
    88 	  </CODE>
    89 	</ACTION>
    90 	<ACTION NAME="isabelle.control-reset">
    91 	  <CODE>
    92 	    isabelle.jedit.Isabelle.control_reset(textArea);
    93 	  </CODE>
    94 	</ACTION>
    95 	<ACTION NAME="isabelle.input-bsub">
    96 	  <CODE>
    97 	    isabelle.jedit.Isabelle.input_bsub(textArea);
    98 	  </CODE>
    99 	</ACTION>
   100 	<ACTION NAME="isabelle.input-bsup">
   101 	  <CODE>
   102 	    isabelle.jedit.Isabelle.input_bsup(textArea);
   103 	  </CODE>
   104 	</ACTION>
   105 </ACTIONS>