author | wenzelm |
Sat, 29 Feb 2020 17:16:17 +0100 | |
changeset 71497 | a80fa14bccb8 |
parent 69762 | 58fb0d779583 |
child 71499 | 29f37eb9bd0f |
permissions | -rw-r--r-- |
34760 | 1 |
<?xml version="1.0"?> |
2 |
<!DOCTYPE ACTIONS SYSTEM "actions.dtd"> |
|
3 |
||
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
4 |
<ACTIONS> |
52807
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
5 |
<ACTION NAME="isabelle.set-continuous-checking"> |
50209 | 6 |
<CODE> |
52815
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
7 |
isabelle.jedit.Isabelle.set_continuous_checking(); |
50209 | 8 |
</CODE> |
9 |
</ACTION> |
|
52807
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
10 |
<ACTION NAME="isabelle.reset-continuous-checking"> |
50209 | 11 |
<CODE> |
52815
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
12 |
isabelle.jedit.Isabelle.reset_continuous_checking(); |
52807
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
13 |
</CODE> |
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
14 |
</ACTION> |
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
15 |
<ACTION NAME="isabelle.toggle-continuous-checking"> |
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
16 |
<CODE> |
52815
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
17 |
isabelle.jedit.Isabelle.toggle_continuous_checking(); |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
18 |
</CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
19 |
</ACTION> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
20 |
<ACTION NAME="isabelle.set-node-required"> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
21 |
<CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
22 |
isabelle.jedit.Isabelle.set_node_required(view); |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
23 |
</CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
24 |
</ACTION> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
25 |
<ACTION NAME="isabelle.reset-node-required"> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
26 |
<CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
27 |
isabelle.jedit.Isabelle.reset_node_required(view); |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
28 |
</CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
29 |
</ACTION> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
30 |
<ACTION NAME="isabelle.toggle-node-required"> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
31 |
<CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
32 |
isabelle.jedit.Isabelle.toggle_node_required(view); |
50209 | 33 |
</CODE> |
34 |
</ACTION> |
|
61218 | 35 |
<ACTION NAME="isabelle.update-state"> |
61211 | 36 |
<CODE> |
37 |
isabelle.jedit.Isabelle.update_state(view); |
|
38 |
</CODE> |
|
39 |
</ACTION> |
|
53161 | 40 |
<ACTION NAME="isabelle.reset-font-size"> |
41 |
<CODE> |
|
55824 | 42 |
isabelle.jedit.Isabelle.reset_font_size(); |
53161 | 43 |
</CODE> |
44 |
</ACTION> |
|
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
45 |
<ACTION NAME="isabelle.increase-font-size"> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
46 |
<CODE> |
55824 | 47 |
isabelle.jedit.Isabelle.increase_font_size(); |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
48 |
</CODE> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
49 |
</ACTION> |
52428
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
50 |
<ACTION NAME="isabelle.increase-font-size2"> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
51 |
<CODE> |
55824 | 52 |
isabelle.jedit.Isabelle.increase_font_size(); |
52428
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
53 |
</CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
54 |
</ACTION> |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
55 |
<ACTION NAME="isabelle.decrease-font-size"> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
56 |
<CODE> |
55824 | 57 |
isabelle.jedit.Isabelle.decrease_font_size(); |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
58 |
</CODE> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
59 |
</ACTION> |
52428
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
60 |
<ACTION NAME="isabelle.decrease-font-size2"> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
61 |
<CODE> |
55824 | 62 |
isabelle.jedit.Isabelle.decrease_font_size(); |
52428
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
63 |
</CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
64 |
</ACTION> |
63455
019856db2bb6
added action "isabelle.newline" (shortcut ENTER);
wenzelm
parents:
63236
diff
changeset
|
65 |
<ACTION NAME="isabelle.newline"> |
019856db2bb6
added action "isabelle.newline" (shortcut ENTER);
wenzelm
parents:
63236
diff
changeset
|
66 |
<CODE> |
019856db2bb6
added action "isabelle.newline" (shortcut ENTER);
wenzelm
parents:
63236
diff
changeset
|
67 |
isabelle.jedit.Isabelle.newline(textArea); |
019856db2bb6
added action "isabelle.newline" (shortcut ENTER);
wenzelm
parents:
63236
diff
changeset
|
68 |
</CODE> |
019856db2bb6
added action "isabelle.newline" (shortcut ENTER);
wenzelm
parents:
63236
diff
changeset
|
69 |
</ACTION> |
63236 | 70 |
<ACTION NAME="isabelle.select-entity"> |
71 |
<CODE> |
|
72 |
isabelle.jedit.Isabelle.select_entity(textArea); |
|
73 |
</CODE> |
|
74 |
</ACTION> |
|
53293
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
75 |
<ACTION NAME="isabelle.complete"> |
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
76 |
<CODE> |
56586 | 77 |
isabelle.jedit.Isabelle.complete(view, false); |
78 |
</CODE> |
|
79 |
</ACTION> |
|
71497 | 80 |
<ACTION NAME="isabelle.tooltip"> |
81 |
<CODE> |
|
82 |
isabelle.jedit.Isabelle.show_tooltip(view, true); |
|
83 |
</CODE> |
|
84 |
</ACTION> |
|
85 |
<ACTION NAME="isabelle.message"> |
|
86 |
<CODE> |
|
87 |
isabelle.jedit.Isabelle.show_tooltip(view, false); |
|
88 |
</CODE> |
|
89 |
</ACTION> |
|
56586 | 90 |
<ACTION NAME="isabelle.complete-word"> |
91 |
<CODE> |
|
92 |
isabelle.jedit.Isabelle.complete(view, true); |
|
53293
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
93 |
</CODE> |
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
94 |
</ACTION> |
50183 | 95 |
<ACTION NAME="isabelle.control-sub"> |
96 |
<CODE> |
|
50208 | 97 |
isabelle.jedit.Isabelle.control_sub(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
98 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
99 |
</ACTION> |
50183 | 100 |
<ACTION NAME="isabelle.control-sup"> |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
101 |
<CODE> |
50208 | 102 |
isabelle.jedit.Isabelle.control_sup(textArea); |
50183 | 103 |
</CODE> |
104 |
</ACTION> |
|
105 |
<ACTION NAME="isabelle.control-bold"> |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
106 |
<CODE> |
50208 | 107 |
isabelle.jedit.Isabelle.control_bold(textArea); |
50183 | 108 |
</CODE> |
109 |
</ACTION> |
|
61483 | 110 |
<ACTION NAME="isabelle.control-emph"> |
111 |
<CODE> |
|
112 |
isabelle.jedit.Isabelle.control_emph(textArea); |
|
113 |
</CODE> |
|
114 |
</ACTION> |
|
50183 | 115 |
<ACTION NAME="isabelle.control-reset"> |
116 |
<CODE> |
|
50208 | 117 |
isabelle.jedit.Isabelle.control_reset(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
118 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
119 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
120 |
<ACTION NAME="isabelle.input-bsub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
121 |
<CODE> |
50208 | 122 |
isabelle.jedit.Isabelle.input_bsub(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
123 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
124 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
125 |
<ACTION NAME="isabelle.input-bsup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
126 |
<CODE> |
50208 | 127 |
isabelle.jedit.Isabelle.input_bsup(textArea); |
44864
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
128 |
</CODE> |
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
129 |
</ACTION> |
67132 | 130 |
<ACTION NAME="isabelle.antiquoted_cartouche"> |
131 |
<CODE> |
|
132 |
isabelle.jedit.Isabelle.antiquoted_cartouche(textArea); |
|
133 |
</CODE> |
|
134 |
</ACTION> |
|
56574
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
135 |
<ACTION NAME="isabelle.include-word"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
136 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
137 |
isabelle.jedit.Isabelle.update_dictionary(textArea, true, false); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
138 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
139 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
140 |
<ACTION NAME="isabelle.include-word-permanently"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
141 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
142 |
isabelle.jedit.Isabelle.update_dictionary(textArea, true, true); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
143 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
144 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
145 |
<ACTION NAME="isabelle.exclude-word"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
146 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
147 |
isabelle.jedit.Isabelle.update_dictionary(textArea, false, false); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
148 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
149 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
150 |
<ACTION NAME="isabelle.exclude-word-permanently"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
151 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
152 |
isabelle.jedit.Isabelle.update_dictionary(textArea, false, true); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
153 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
154 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
155 |
<ACTION NAME="isabelle.reset-words"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
156 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
157 |
isabelle.jedit.Isabelle.reset_dictionary(); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
158 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
159 |
</ACTION> |
60878
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
160 |
<ACTION NAME="isabelle.toggle-breakpoint"> |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
161 |
<CODE> |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
162 |
isabelle.jedit.Isabelle.toggle_breakpoint(textArea); |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
163 |
</CODE> |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
164 |
</ACTION> |
57627
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
165 |
<ACTION NAME="isabelle.options"> |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
166 |
<CODE> |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
167 |
isabelle.jedit.Isabelle.plugin_options(view); |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
168 |
</CODE> |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
169 |
</ACTION> |
66019 | 170 |
<ACTION NAME="isabelle.preview"> |
171 |
<CODE> |
|
67262 | 172 |
isabelle.jedit.Document_Model.open_preview(view, false); |
173 |
</CODE> |
|
174 |
</ACTION> |
|
175 |
<ACTION NAME="isabelle.draft"> |
|
176 |
<CODE> |
|
177 |
isabelle.jedit.Document_Model.open_preview(view, true); |
|
66019 | 178 |
</CODE> |
179 |
</ACTION> |
|
69643 | 180 |
<ACTION NAME="isabelle-export-browser"> |
181 |
<CODE> |
|
182 |
isabelle.jedit.Isabelle_Export.open_browser(view); |
|
183 |
</CODE> |
|
184 |
</ACTION> |
|
69762
58fb0d779583
support for session information via virtual file-system;
wenzelm
parents:
69643
diff
changeset
|
185 |
<ACTION NAME="isabelle-session-browser"> |
58fb0d779583
support for session information via virtual file-system;
wenzelm
parents:
69643
diff
changeset
|
186 |
<CODE> |
58fb0d779583
support for session information via virtual file-system;
wenzelm
parents:
69643
diff
changeset
|
187 |
isabelle.jedit.Isabelle_Session.open_browser(view); |
58fb0d779583
support for session information via virtual file-system;
wenzelm
parents:
69643
diff
changeset
|
188 |
</CODE> |
58fb0d779583
support for session information via virtual file-system;
wenzelm
parents:
69643
diff
changeset
|
189 |
</ACTION> |
63748 | 190 |
<ACTION NAME="isabelle.keymap-merge"> |
191 |
<CODE> |
|
192 |
isabelle.jedit.Keymap_Merge.check_dialog(view); |
|
193 |
</CODE> |
|
194 |
</ACTION> |
|
55316
885500f4aa6a
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
Lars Hupel <lars.hupel@mytum.de>
parents:
53772
diff
changeset
|
195 |
</ACTIONS> |