author | wenzelm |
Tue, 13 Aug 2013 20:34:46 +0200 | |
changeset 53021 | d0fa3f446b9d |
parent 52908 | 3461985dcbc3 |
child 53161 | 051cbf663b5f |
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> |
50299 | 5 |
<ACTION NAME="isabelle.theories-panel"> |
39515 | 6 |
<CODE> |
50299 | 7 |
wm.addDockableWindow("isabelle-theories"); |
39515 | 8 |
</CODE> |
9 |
</ACTION> |
|
51533 | 10 |
<ACTION NAME="isabelle.timing-panel"> |
11 |
<CODE> |
|
12 |
wm.addDockableWindow("isabelle-timing"); |
|
13 |
</CODE> |
|
14 |
</ACTION> |
|
48021
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
15 |
<ACTION NAME="isabelle.syslog-panel"> |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
16 |
<CODE> |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
17 |
wm.addDockableWindow("isabelle-syslog"); |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
18 |
</CODE> |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
19 |
</ACTION> |
52445 | 20 |
<ACTION NAME="isabelle.documentation-panel"> |
21 |
<CODE> |
|
22 |
wm.addDockableWindow("isabelle-documentation"); |
|
23 |
</CODE> |
|
24 |
</ACTION> |
|
48014
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
25 |
<ACTION NAME="isabelle.readme-panel"> |
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
26 |
<CODE> |
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
27 |
wm.addDockableWindow("isabelle-readme"); |
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
28 |
</CODE> |
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
29 |
</ACTION> |
52846 | 30 |
<ACTION NAME="isabelle.find-panel"> |
31 |
<CODE> |
|
32 |
wm.addDockableWindow("isabelle-find"); |
|
33 |
</CODE> |
|
34 |
</ACTION> |
|
52908
3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
wenzelm
parents:
52846
diff
changeset
|
35 |
<ACTION NAME="isabelle.sledgehammer-panel"> |
3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
wenzelm
parents:
52846
diff
changeset
|
36 |
<CODE> |
3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
wenzelm
parents:
52846
diff
changeset
|
37 |
wm.addDockableWindow("isabelle-sledgehammer"); |
3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
wenzelm
parents:
52846
diff
changeset
|
38 |
</CODE> |
3461985dcbc3
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
wenzelm
parents:
52846
diff
changeset
|
39 |
</ACTION> |
39617 | 40 |
<ACTION NAME="isabelle.output-panel"> |
34760 | 41 |
<CODE> |
34773 | 42 |
wm.addDockableWindow("isabelle-output"); |
34760 | 43 |
</CODE> |
44 |
</ACTION> |
|
39617 | 45 |
<ACTION NAME="isabelle.raw-output-panel"> |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
46 |
<CODE> |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
47 |
wm.addDockableWindow("isabelle-raw-output"); |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
48 |
</CODE> |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
49 |
</ACTION> |
39617 | 50 |
<ACTION NAME="isabelle.protocol-panel"> |
34760 | 51 |
<CODE> |
34773 | 52 |
wm.addDockableWindow("isabelle-protocol"); |
34760 | 53 |
</CODE> |
54 |
</ACTION> |
|
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50299
diff
changeset
|
55 |
<ACTION NAME="isabelle.monitor-panel"> |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50299
diff
changeset
|
56 |
<CODE> |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50299
diff
changeset
|
57 |
wm.addDockableWindow("isabelle-monitor"); |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50299
diff
changeset
|
58 |
</CODE> |
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50299
diff
changeset
|
59 |
</ACTION> |
50143
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
60 |
<ACTION NAME="isabelle.symbols-panel"> |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
61 |
<CODE> |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
62 |
wm.addDockableWindow("isabelle-symbols"); |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
63 |
</CODE> |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
64 |
</ACTION> |
52807
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
65 |
<ACTION NAME="isabelle.set-continuous-checking"> |
50209 | 66 |
<CODE> |
52815
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
67 |
isabelle.jedit.Isabelle.set_continuous_checking(); |
50209 | 68 |
</CODE> |
69 |
</ACTION> |
|
52807
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
70 |
<ACTION NAME="isabelle.reset-continuous-checking"> |
50209 | 71 |
<CODE> |
52815
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
72 |
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
|
73 |
</CODE> |
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
74 |
</ACTION> |
b859a180936b
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
wenzelm
parents:
52777
diff
changeset
|
75 |
<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
|
76 |
<CODE> |
52815
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
77 |
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
|
78 |
</CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
79 |
</ACTION> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
80 |
<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
|
81 |
<CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
82 |
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
|
83 |
</CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
84 |
</ACTION> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
85 |
<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
|
86 |
<CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
87 |
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
|
88 |
</CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
89 |
</ACTION> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
90 |
<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
|
91 |
<CODE> |
eaad5fe7bb1b
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
wenzelm
parents:
52807
diff
changeset
|
92 |
isabelle.jedit.Isabelle.toggle_node_required(view); |
50209 | 93 |
</CODE> |
94 |
</ACTION> |
|
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
95 |
<ACTION NAME="isabelle.increase-font-size"> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
96 |
<CODE> |
50208 | 97 |
isabelle.jedit.Isabelle.increase_font_size(view); |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
98 |
</CODE> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
99 |
</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
|
100 |
<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
|
101 |
<CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
102 |
isabelle.jedit.Isabelle.increase_font_size(view); |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
103 |
</CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
104 |
</ACTION> |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
105 |
<ACTION NAME="isabelle.decrease-font-size"> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
106 |
<CODE> |
50208 | 107 |
isabelle.jedit.Isabelle.decrease_font_size(view); |
50198
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
108 |
</CODE> |
0c7b351a6871
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
wenzelm
parents:
50183
diff
changeset
|
109 |
</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
|
110 |
<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
|
111 |
<CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
112 |
isabelle.jedit.Isabelle.decrease_font_size(view); |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
113 |
</CODE> |
fce1c133e1f8
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
wenzelm
parents:
51533
diff
changeset
|
114 |
</ACTION> |
50183 | 115 |
<ACTION NAME="isabelle.control-sub"> |
116 |
<CODE> |
|
50208 | 117 |
isabelle.jedit.Isabelle.control_sub(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> |
50183 | 120 |
<ACTION NAME="isabelle.control-sup"> |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
121 |
<CODE> |
50208 | 122 |
isabelle.jedit.Isabelle.control_sup(textArea); |
50183 | 123 |
</CODE> |
124 |
</ACTION> |
|
125 |
<ACTION NAME="isabelle.control-bold"> |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
126 |
<CODE> |
50208 | 127 |
isabelle.jedit.Isabelle.control_bold(textArea); |
50183 | 128 |
</CODE> |
129 |
</ACTION> |
|
130 |
<ACTION NAME="isabelle.control-reset"> |
|
131 |
<CODE> |
|
50208 | 132 |
isabelle.jedit.Isabelle.control_reset(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
133 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
134 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
135 |
<ACTION NAME="isabelle.input-bsub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
136 |
<CODE> |
50208 | 137 |
isabelle.jedit.Isabelle.input_bsub(textArea); |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
138 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
139 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
140 |
<ACTION NAME="isabelle.input-bsup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
141 |
<CODE> |
50208 | 142 |
isabelle.jedit.Isabelle.input_bsup(textArea); |
44864
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
143 |
</CODE> |
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
144 |
</ACTION> |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
145 |
</ACTIONS> |