author | wenzelm |
Mon, 10 Aug 2015 17:49:36 +0200 | |
changeset 60878 | 1f0d2bbcf38b |
parent 57627 | 65fc7ae1bf66 |
child 61211 | 8a5d5ca5d8bc |
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> |
|
53161 | 35 |
<ACTION NAME="isabelle.reset-font-size"> |
36 |
<CODE> |
|
55824 | 37 |
isabelle.jedit.Isabelle.reset_font_size(); |
53161 | 38 |
</CODE> |
39 |
</ACTION> |
|
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
40 |
<ACTION NAME="isabelle.increase-font-size"> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
41 |
<CODE> |
55824 | 42 |
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
|
43 |
</CODE> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
44 |
</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
|
45 |
<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
|
46 |
<CODE> |
55824 | 47 |
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
|
48 |
</CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
49 |
</ACTION> |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
50 |
<ACTION NAME="isabelle.decrease-font-size"> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
51 |
<CODE> |
55824 | 52 |
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
|
53 |
</CODE> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
54 |
</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
|
55 |
<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
|
56 |
<CODE> |
55824 | 57 |
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
|
58 |
</CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
59 |
</ACTION> |
53293
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
60 |
<ACTION NAME="isabelle.complete"> |
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
61 |
<CODE> |
56586 | 62 |
isabelle.jedit.Isabelle.complete(view, false); |
63 |
</CODE> |
|
64 |
</ACTION> |
|
65 |
<ACTION NAME="isabelle.complete-word"> |
|
66 |
<CODE> |
|
67 |
isabelle.jedit.Isabelle.complete(view, true); |
|
53293
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
68 |
</CODE> |
fd27b8f5a479
added action isabelle.complete, using standard jEdit keyboard shortcut;
wenzelm
parents:
53161
diff
changeset
|
69 |
</ACTION> |
50183 | 70 |
<ACTION NAME="isabelle.control-sub"> |
71 |
<CODE> |
|
50208 | 72 |
isabelle.jedit.Isabelle.control_sub(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
73 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
74 |
</ACTION> |
50183 | 75 |
<ACTION NAME="isabelle.control-sup"> |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
76 |
<CODE> |
50208 | 77 |
isabelle.jedit.Isabelle.control_sup(textArea); |
50183 | 78 |
</CODE> |
79 |
</ACTION> |
|
80 |
<ACTION NAME="isabelle.control-bold"> |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
81 |
<CODE> |
50208 | 82 |
isabelle.jedit.Isabelle.control_bold(textArea); |
50183 | 83 |
</CODE> |
84 |
</ACTION> |
|
85 |
<ACTION NAME="isabelle.control-reset"> |
|
86 |
<CODE> |
|
50208 | 87 |
isabelle.jedit.Isabelle.control_reset(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
88 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
89 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
90 |
<ACTION NAME="isabelle.input-bsub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
91 |
<CODE> |
50208 | 92 |
isabelle.jedit.Isabelle.input_bsub(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
93 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
94 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
95 |
<ACTION NAME="isabelle.input-bsup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
96 |
<CODE> |
50208 | 97 |
isabelle.jedit.Isabelle.input_bsup(textArea); |
44864
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
98 |
</CODE> |
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
99 |
</ACTION> |
56574
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
100 |
<ACTION NAME="isabelle.include-word"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
101 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
102 |
isabelle.jedit.Isabelle.update_dictionary(textArea, true, false); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
103 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
104 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
105 |
<ACTION NAME="isabelle.include-word-permanently"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
106 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
107 |
isabelle.jedit.Isabelle.update_dictionary(textArea, true, true); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
108 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
109 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
110 |
<ACTION NAME="isabelle.exclude-word"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
111 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
112 |
isabelle.jedit.Isabelle.update_dictionary(textArea, false, false); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
113 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
114 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
115 |
<ACTION NAME="isabelle.exclude-word-permanently"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
116 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
117 |
isabelle.jedit.Isabelle.update_dictionary(textArea, false, true); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
118 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
119 |
</ACTION> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
120 |
<ACTION NAME="isabelle.reset-words"> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
121 |
<CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
122 |
isabelle.jedit.Isabelle.reset_dictionary(); |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
123 |
</CODE> |
2b38472a4695
some actions to maintain spell-checker dictionary;
wenzelm
parents:
55824
diff
changeset
|
124 |
</ACTION> |
60878
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
125 |
<ACTION NAME="isabelle.toggle-breakpoint"> |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
126 |
<CODE> |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
127 |
isabelle.jedit.Isabelle.toggle_breakpoint(textArea); |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
128 |
</CODE> |
1f0d2bbcf38b
added action to toggle breakpoints (on editor side);
wenzelm
parents:
57627
diff
changeset
|
129 |
</ACTION> |
57627
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
130 |
<ACTION NAME="isabelle.options"> |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
131 |
<CODE> |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
132 |
isabelle.jedit.Isabelle.plugin_options(view); |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
133 |
</CODE> |
65fc7ae1bf66
added action "isabelle.options" (despite problems with initial window size);
wenzelm
parents:
56586
diff
changeset
|
134 |
</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
|
135 |
</ACTIONS> |