author | wenzelm |
Sat, 24 Nov 2012 14:50:19 +0100 | |
changeset 50183 | 2b3e24e1c9e7 |
parent 50143 | 4ff5d795ed08 |
child 50198 | 0c7b351a6871 |
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> |
39515 | 5 |
<ACTION NAME="isabelle.session-panel"> |
6 |
<CODE> |
|
7 |
wm.addDockableWindow("isabelle-session"); |
|
8 |
</CODE> |
|
9 |
</ACTION> |
|
48021
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
10 |
<ACTION NAME="isabelle.syslog-panel"> |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
11 |
<CODE> |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
12 |
wm.addDockableWindow("isabelle-syslog"); |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
13 |
</CODE> |
d899be1cfe6d
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
wenzelm
parents:
48014
diff
changeset
|
14 |
</ACTION> |
48014
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
15 |
<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
|
16 |
<CODE> |
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
17 |
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
|
18 |
</CODE> |
63021e59cbf0
separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm
parents:
44864
diff
changeset
|
19 |
</ACTION> |
39617 | 20 |
<ACTION NAME="isabelle.output-panel"> |
34760 | 21 |
<CODE> |
34773 | 22 |
wm.addDockableWindow("isabelle-output"); |
34760 | 23 |
</CODE> |
24 |
</ACTION> |
|
49570 | 25 |
<ACTION NAME="isabelle.graphview-panel"> |
49566
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
26 |
<CODE> |
49570 | 27 |
wm.addDockableWindow("isabelle-graphview"); |
49566
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
28 |
</CODE> |
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
29 |
</ACTION> |
39617 | 30 |
<ACTION NAME="isabelle.raw-output-panel"> |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
31 |
<CODE> |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
32 |
wm.addDockableWindow("isabelle-raw-output"); |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
33 |
</CODE> |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
34 |
</ACTION> |
39617 | 35 |
<ACTION NAME="isabelle.protocol-panel"> |
34760 | 36 |
<CODE> |
34773 | 37 |
wm.addDockableWindow("isabelle-protocol"); |
34760 | 38 |
</CODE> |
39 |
</ACTION> |
|
50143
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
40 |
<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
|
41 |
<CODE> |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
42 |
wm.addDockableWindow("isabelle-symbols"); |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
43 |
</CODE> |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49611
diff
changeset
|
44 |
</ACTION> |
50183 | 45 |
<ACTION NAME="isabelle.check-buffer"> |
46 |
<CODE> |
|
47 |
isabelle.jedit.Isabelle_Actions.check_buffer(buffer); |
|
48 |
</CODE> |
|
49 |
</ACTION> |
|
50 |
<ACTION NAME="isabelle.cancel-execution"> |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
51 |
<CODE> |
50183 | 52 |
isabelle.jedit.Isabelle_Actions.cancel_execution(); |
53 |
</CODE> |
|
54 |
</ACTION> |
|
55 |
<ACTION NAME="isabelle.control-sub"> |
|
56 |
<CODE> |
|
57 |
isabelle.jedit.Isabelle_Actions.control_sub(textArea); |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
58 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
59 |
</ACTION> |
50183 | 60 |
<ACTION NAME="isabelle.control-sup"> |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
61 |
<CODE> |
50183 | 62 |
isabelle.jedit.Isabelle_Actions.control_sup(textArea); |
63 |
</CODE> |
|
64 |
</ACTION> |
|
65 |
<ACTION NAME="isabelle.control-isub"> |
|
66 |
<CODE> |
|
67 |
isabelle.jedit.Isabelle_Actions.control_isub(textArea); |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
68 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
69 |
</ACTION> |
50183 | 70 |
<ACTION NAME="isabelle.control-isup"> |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
71 |
<CODE> |
50183 | 72 |
isabelle.jedit.Isabelle_Actions.control_isup(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-bold"> |
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
76 |
<CODE> |
50183 | 77 |
isabelle.jedit.Isabelle_Actions.control_bold(textArea); |
78 |
</CODE> |
|
79 |
</ACTION> |
|
80 |
<ACTION NAME="isabelle.control-reset"> |
|
81 |
<CODE> |
|
82 |
isabelle.jedit.Isabelle_Actions.control_reset(textArea); |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
83 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
84 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
85 |
<ACTION NAME="isabelle.input-bsub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
86 |
<CODE> |
50183 | 87 |
isabelle.jedit.Isabelle_Actions.input_bsub(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-bsup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
91 |
<CODE> |
50183 | 92 |
isabelle.jedit.Isabelle_Actions.input_bsup(textArea); |
44864
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
93 |
</CODE> |
e50557cb0eb6
explicit jEdit actions -- to enable key mappings, for example;
wenzelm
parents:
44238
diff
changeset
|
94 |
</ACTION> |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
95 |
</ACTIONS> |