isabelle: src/Tools/jEdit/src/actions.xml@cca95e9055ba (annotated)

34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	1	<?xml version="1.0"?>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	2	<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	3
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	4	<ACTIONS>
50299 f70b3712040f renamed dockable "Prover Session" to "Theories"; wenzelm parents: 50209 diff changeset	5	<ACTION NAME="isabelle.theories-panel">
39515 57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	6	<CODE>
50299 f70b3712040f renamed dockable "Prover Session" to "Theories"; wenzelm parents: 50209 diff changeset	7	wm.addDockableWindow("isabelle-theories");
39515 57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	8	</CODE>
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	9	</ACTION>
51533 3f6280aedbcc dockable window for timing information; wenzelm parents: 50452 diff changeset	10	<ACTION NAME="isabelle.timing-panel">
3f6280aedbcc dockable window for timing information; wenzelm parents: 50452 diff changeset	11	<CODE>
3f6280aedbcc dockable window for timing information; wenzelm parents: 50452 diff changeset	12	wm.addDockableWindow("isabelle-timing");
3f6280aedbcc dockable window for timing information; wenzelm parents: 50452 diff changeset	13	</CODE>
3f6280aedbcc dockable window for timing information; wenzelm parents: 50452 diff changeset	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 18a720984855 dockable window for Isabelle documentation; wenzelm parents: 52428 diff changeset	20	<ACTION NAME="isabelle.documentation-panel">
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 52428 diff changeset	21	<CODE>
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 52428 diff changeset	22	wm.addDockableWindow("isabelle-documentation");
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 52428 diff changeset	23	</CODE>
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 52428 diff changeset	24	</ACTION>
52846 82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52815 diff changeset	25	<ACTION NAME="isabelle.find-panel">
82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52815 diff changeset	26	<CODE>
82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52815 diff changeset	27	wm.addDockableWindow("isabelle-find");
82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52815 diff changeset	28	</CODE>
82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52815 diff changeset	29	</ACTION>
52908 3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	30	<ACTION NAME="isabelle.sledgehammer-panel">
3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	31	<CODE>
3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	32	wm.addDockableWindow("isabelle-sledgehammer");
3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	33	</CODE>
3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	34	</ACTION>
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	35	<ACTION NAME="isabelle.output-panel">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	36	<CODE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	37	wm.addDockableWindow("isabelle-output");
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	38	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	39	</ACTION>
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	40	<ACTION NAME="isabelle.raw-output-panel">
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	41	<CODE>
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	42	wm.addDockableWindow("isabelle-raw-output");
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	43	</CODE>
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	44	</ACTION>
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	45	<ACTION NAME="isabelle.protocol-panel">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	46	<CODE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	47	wm.addDockableWindow("isabelle-protocol");
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	48	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	49	</ACTION>
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	50	<ACTION NAME="isabelle.monitor-panel">
9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	51	<CODE>
9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	52	wm.addDockableWindow("isabelle-monitor");
9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	53	</CODE>
9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	54	</ACTION>
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49611 diff changeset	55	<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	56	<CODE>
4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49611 diff changeset	57	wm.addDockableWindow("isabelle-symbols");
4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49611 diff changeset	58	</CODE>
4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49611 diff changeset	59	</ACTION>
52807 b859a180936b simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints); wenzelm parents: 52777 diff changeset	60	<ACTION NAME="isabelle.set-continuous-checking">
50209 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	61	<CODE>
52815 eaad5fe7bb1b actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); wenzelm parents: 52807 diff changeset	62	isabelle.jedit.Isabelle.set_continuous_checking();
50209 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	63	</CODE>
907373a080b9 tuned signature; wenzelm parents: 50208 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.reset-continuous-checking">
50209 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	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.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	68	</CODE>
b859a180936b simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints); wenzelm parents: 52777 diff changeset	69	</ACTION>
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.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	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.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	73	</CODE>
eaad5fe7bb1b actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); wenzelm parents: 52807 diff changeset	74	</ACTION>
eaad5fe7bb1b actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); wenzelm parents: 52807 diff changeset	75	<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	76	<CODE>
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.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	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.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	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.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	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.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	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.toggle_node_required(view);
50209 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	88	</CODE>
907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	89	</ACTION>
53161 051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	90	<ACTION NAME="isabelle.reset-font-size">
051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	91	<CODE>
051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	92	isabelle.jedit.Isabelle.reset_font_size(view);
051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	93	</CODE>
051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	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 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	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 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	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>
53293 fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	115	<ACTION NAME="isabelle.complete">
fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	116	<CODE>
fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	117	isabelle.jedit.Isabelle.complete(view);
fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	118	</CODE>
fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	119	</ACTION>
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	120	<ACTION NAME="isabelle.control-sub">
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	121	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	122	isabelle.jedit.Isabelle.control_sub(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>
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	125	<ACTION NAME="isabelle.control-sup">
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	126	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	127	isabelle.jedit.Isabelle.control_sup(textArea);
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	128	</CODE>
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	129	</ACTION>
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	130	<ACTION NAME="isabelle.control-bold">
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	131	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	132	isabelle.jedit.Isabelle.control_bold(textArea);
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	133	</CODE>
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	134	</ACTION>
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	135	<ACTION NAME="isabelle.control-reset">
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	136	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	137	isabelle.jedit.Isabelle.control_reset(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-bsub">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	141	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	142	isabelle.jedit.Isabelle.input_bsub(textArea);
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	143	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	144	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	145	<ACTION NAME="isabelle.input-bsup">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	146	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	147	isabelle.jedit.Isabelle.input_bsup(textArea);
44864 e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	148	</CODE>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	149	</ACTION>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	150	</ACTIONS>

author	wenzelm
	Sat, 28 Sep 2013 12:55:33 +0200
changeset 53965	cca95e9055ba
parent 53772	30de372ca56f
child 55316	885500f4aa6a
permissions	-rw-r--r--