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