src/Tools/jEdit/src/actions.xml
author wenzelm
Mon Jan 09 20:26:59 2017 +0100 (2017-01-09)
changeset 64854 f5aa712e6250
parent 63748 ebcc70c120a9
child 66019 69b5ef78fb07
permissions -rw-r--r--
tuned signature;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE ACTIONS SYSTEM "actions.dtd">
     3 
     4 <ACTIONS>
     5 	<ACTION NAME="isabelle.set-continuous-checking">
     6 	  <CODE>
     7 	    isabelle.jedit.Isabelle.set_continuous_checking();
     8 	  </CODE>
     9 	</ACTION>
    10 	<ACTION NAME="isabelle.reset-continuous-checking">
    11 	  <CODE>
    12 	    isabelle.jedit.Isabelle.reset_continuous_checking();
    13 	  </CODE>
    14 	</ACTION>
    15 	<ACTION NAME="isabelle.toggle-continuous-checking">
    16 	  <CODE>
    17 	    isabelle.jedit.Isabelle.toggle_continuous_checking();
    18 	  </CODE>
    19 	</ACTION>
    20 	<ACTION NAME="isabelle.set-node-required">
    21 	  <CODE>
    22 	    isabelle.jedit.Isabelle.set_node_required(view);
    23 	  </CODE>
    24 	</ACTION>
    25 	<ACTION NAME="isabelle.reset-node-required">
    26 	  <CODE>
    27 	    isabelle.jedit.Isabelle.reset_node_required(view);
    28 	  </CODE>
    29 	</ACTION>
    30 	<ACTION NAME="isabelle.toggle-node-required">
    31 	  <CODE>
    32 	    isabelle.jedit.Isabelle.toggle_node_required(view);
    33 	  </CODE>
    34 	</ACTION>
    35 	<ACTION NAME="isabelle.update-state">
    36 	  <CODE>
    37 	    isabelle.jedit.Isabelle.update_state(view);
    38 	  </CODE>
    39 	</ACTION>
    40 	<ACTION NAME="isabelle.reset-font-size">
    41 	  <CODE>
    42 	    isabelle.jedit.Isabelle.reset_font_size();
    43 	  </CODE>
    44 	</ACTION>
    45 	<ACTION NAME="isabelle.increase-font-size">
    46 	  <CODE>
    47 	    isabelle.jedit.Isabelle.increase_font_size();
    48 	  </CODE>
    49 	</ACTION>
    50 	<ACTION NAME="isabelle.increase-font-size2">
    51 	  <CODE>
    52 	    isabelle.jedit.Isabelle.increase_font_size();
    53 	  </CODE>
    54 	</ACTION>
    55 	<ACTION NAME="isabelle.decrease-font-size">
    56 	  <CODE>
    57 	    isabelle.jedit.Isabelle.decrease_font_size();
    58 	  </CODE>
    59 	</ACTION>
    60 	<ACTION NAME="isabelle.decrease-font-size2">
    61 	  <CODE>
    62 	    isabelle.jedit.Isabelle.decrease_font_size();
    63 	  </CODE>
    64 	</ACTION>
    65 	<ACTION NAME="isabelle.newline">
    66 	  <CODE>
    67 	    isabelle.jedit.Isabelle.newline(textArea);
    68 	  </CODE>
    69 	</ACTION>
    70 	<ACTION NAME="isabelle.select-entity">
    71 	  <CODE>
    72 	    isabelle.jedit.Isabelle.select_entity(textArea);
    73 	  </CODE>
    74 	</ACTION>
    75 	<ACTION NAME="isabelle.complete">
    76 	  <CODE>
    77 	    isabelle.jedit.Isabelle.complete(view, false);
    78 	  </CODE>
    79 	</ACTION>
    80 	<ACTION NAME="isabelle.complete-word">
    81 	  <CODE>
    82 	    isabelle.jedit.Isabelle.complete(view, true);
    83 	  </CODE>
    84 	</ACTION>
    85 	<ACTION NAME="isabelle.control-sub">
    86 	  <CODE>
    87 	    isabelle.jedit.Isabelle.control_sub(textArea);
    88 	  </CODE>
    89 	</ACTION>
    90 	<ACTION NAME="isabelle.control-sup">
    91 	  <CODE>
    92 	    isabelle.jedit.Isabelle.control_sup(textArea);
    93 	  </CODE>
    94 	</ACTION>
    95 	<ACTION NAME="isabelle.control-bold">
    96 	  <CODE>
    97 	    isabelle.jedit.Isabelle.control_bold(textArea);
    98 	  </CODE>
    99 	</ACTION>
   100 	<ACTION NAME="isabelle.control-emph">
   101 	  <CODE>
   102 	    isabelle.jedit.Isabelle.control_emph(textArea);
   103 	  </CODE>
   104 	</ACTION>
   105 	<ACTION NAME="isabelle.control-reset">
   106 	  <CODE>
   107 	    isabelle.jedit.Isabelle.control_reset(textArea);
   108 	  </CODE>
   109 	</ACTION>
   110 	<ACTION NAME="isabelle.input-bsub">
   111 	  <CODE>
   112 	    isabelle.jedit.Isabelle.input_bsub(textArea);
   113 	  </CODE>
   114 	</ACTION>
   115 	<ACTION NAME="isabelle.input-bsup">
   116 	  <CODE>
   117 	    isabelle.jedit.Isabelle.input_bsup(textArea);
   118 	  </CODE>
   119 	</ACTION>
   120 	<ACTION NAME="isabelle.include-word">
   121 	  <CODE>
   122 	    isabelle.jedit.Isabelle.update_dictionary(textArea, true, false);
   123 	  </CODE>
   124 	</ACTION>
   125 	<ACTION NAME="isabelle.include-word-permanently">
   126 	  <CODE>
   127 	    isabelle.jedit.Isabelle.update_dictionary(textArea, true, true);
   128 	  </CODE>
   129 	</ACTION>
   130 	<ACTION NAME="isabelle.exclude-word">
   131 	  <CODE>
   132 	    isabelle.jedit.Isabelle.update_dictionary(textArea, false, false);
   133 	  </CODE>
   134 	</ACTION>
   135 	<ACTION NAME="isabelle.exclude-word-permanently">
   136 	  <CODE>
   137 	    isabelle.jedit.Isabelle.update_dictionary(textArea, false, true);
   138 	  </CODE>
   139 	</ACTION>
   140 	<ACTION NAME="isabelle.reset-words">
   141 	  <CODE>
   142 	    isabelle.jedit.Isabelle.reset_dictionary();
   143 	  </CODE>
   144 	</ACTION>
   145 	<ACTION NAME="isabelle.toggle-breakpoint">
   146 	  <CODE>
   147 	    isabelle.jedit.Isabelle.toggle_breakpoint(textArea);
   148 	  </CODE>
   149 	</ACTION>
   150 	<ACTION NAME="isabelle.options">
   151 	  <CODE>
   152 	    isabelle.jedit.Isabelle.plugin_options(view);
   153 	  </CODE>
   154 	</ACTION>
   155 	<ACTION NAME="isabelle.keymap-merge">
   156 	  <CODE>
   157 	    isabelle.jedit.Keymap_Merge.check_dialog(view);
   158 	  </CODE>
   159 	</ACTION>
   160 </ACTIONS>