isabelle: src/Tools/jEdit/jedit_main/actions.xml@d757f0f98447 (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>
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 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	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 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	8	</CODE>
907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	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 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	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 907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	33	</CODE>
907373a080b9 tuned signature; wenzelm parents: 50208 diff changeset	34	</ACTION>
61218 04c769fe1cb5 clarified isabelle.update-state; wenzelm parents: 61211 diff changeset	35	<ACTION NAME="isabelle.update-state">
61211 8a5d5ca5d8bc added action "isabelle-update-state"; wenzelm parents: 60878 diff changeset	36	<CODE>
8a5d5ca5d8bc added action "isabelle-update-state"; wenzelm parents: 60878 diff changeset	37	isabelle.jedit.Isabelle.update_state(view);
8a5d5ca5d8bc added action "isabelle-update-state"; wenzelm parents: 60878 diff changeset	38	</CODE>
8a5d5ca5d8bc added action "isabelle-update-state"; wenzelm parents: 60878 diff changeset	39	</ACTION>
53161 051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	40	<ACTION NAME="isabelle.reset-font-size">
051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	41	<CODE>
55824 22bc50a19afa tuned; wenzelm parents: 55558 diff changeset	42	isabelle.jedit.Isabelle.reset_font_size();
53161 051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	43	</CODE>
051cbf663b5f added action isabelle.reset-font-size; wenzelm parents: 53021 diff changeset	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 22bc50a19afa tuned; wenzelm parents: 55558 diff changeset	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 22bc50a19afa tuned; wenzelm parents: 55558 diff changeset	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 22bc50a19afa tuned; wenzelm parents: 55558 diff changeset	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 22bc50a19afa tuned; wenzelm parents: 55558 diff changeset	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>
73049 bef32cb5d26b override existing action, to retain menu item; wenzelm parents: 73039 diff changeset	70	<ACTION NAME="toggle-full-screen">
73039 4b1cfbf96e36 action isabelle.toggle-full-screen; wenzelm parents: 72976 diff changeset	71	<CODE>
4b1cfbf96e36 action isabelle.toggle-full-screen; wenzelm parents: 72976 diff changeset	72	isabelle.jedit.Isabelle.toggle_full_screen(view);
4b1cfbf96e36 action isabelle.toggle-full-screen; wenzelm parents: 72976 diff changeset	73	</CODE>
4b1cfbf96e36 action isabelle.toggle-full-screen; wenzelm parents: 72976 diff changeset	74	</ACTION>
72930 0cc298e29aff added action isabelle.goto-entity to follow links in a narrow formal sense; wenzelm parents: 71520 diff changeset	75	<ACTION NAME="isabelle.goto-entity">
0cc298e29aff added action isabelle.goto-entity to follow links in a narrow formal sense; wenzelm parents: 71520 diff changeset	76	<CODE>
0cc298e29aff added action isabelle.goto-entity to follow links in a narrow formal sense; wenzelm parents: 71520 diff changeset	77	isabelle.jedit.Isabelle.goto_entity(view);
0cc298e29aff added action isabelle.goto-entity to follow links in a narrow formal sense; wenzelm parents: 71520 diff changeset	78	</CODE>
0cc298e29aff added action isabelle.goto-entity to follow links in a narrow formal sense; wenzelm parents: 71520 diff changeset	79	</ACTION>
63236 48bc9045866e added action "isabelle.select-entity"; wenzelm parents: 61483 diff changeset	80	<ACTION NAME="isabelle.select-entity">
48bc9045866e added action "isabelle.select-entity"; wenzelm parents: 61483 diff changeset	81	<CODE>
48bc9045866e added action "isabelle.select-entity"; wenzelm parents: 61483 diff changeset	82	isabelle.jedit.Isabelle.select_entity(textArea);
48bc9045866e added action "isabelle.select-entity"; wenzelm parents: 61483 diff changeset	83	</CODE>
48bc9045866e added action "isabelle.select-entity"; wenzelm parents: 61483 diff changeset	84	</ACTION>
53293 fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	85	<ACTION NAME="isabelle.complete">
fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	86	<CODE>
56586 5ef60881681d explicit menu action to complete word; wenzelm parents: 56574 diff changeset	87	isabelle.jedit.Isabelle.complete(view, false);
5ef60881681d explicit menu action to complete word; wenzelm parents: 56574 diff changeset	88	</CODE>
5ef60881681d explicit menu action to complete word; wenzelm parents: 56574 diff changeset	89	</ACTION>
71497 a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	90	<ACTION NAME="isabelle.tooltip">
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	91	<CODE>
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	92	isabelle.jedit.Isabelle.show_tooltip(view, true);
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	93	</CODE>
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	94	</ACTION>
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	95	<ACTION NAME="isabelle.message">
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	96	<CODE>
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	97	isabelle.jedit.Isabelle.show_tooltip(view, false);
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	98	</CODE>
a80fa14bccb8 more Isabelle/jEdit actions; wenzelm parents: 69762 diff changeset	99	</ACTION>
71499 29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	100	<ACTION NAME="isabelle.first-error">
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	101	<CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	102	isabelle.jedit.Isabelle.goto_first_error(view);
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	103	</CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	104	</ACTION>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	105	<ACTION NAME="isabelle.last-error">
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	106	<CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	107	isabelle.jedit.Isabelle.goto_last_error(view);
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	108	</CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	109	</ACTION>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	110	<ACTION NAME="isabelle.prev-error">
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	111	<CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	112	isabelle.jedit.Isabelle.goto_prev_error(view);
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	113	</CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	114	</ACTION>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	115	<ACTION NAME="isabelle.next-error">
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	116	<CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	117	isabelle.jedit.Isabelle.goto_next_error(view);
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	118	</CODE>
29f37eb9bd0f more Isabelle/jEdit actions; wenzelm parents: 71497 diff changeset	119	</ACTION>
56586 5ef60881681d explicit menu action to complete word; wenzelm parents: 56574 diff changeset	120	<ACTION NAME="isabelle.complete-word">
5ef60881681d explicit menu action to complete word; wenzelm parents: 56574 diff changeset	121	<CODE>
5ef60881681d explicit menu action to complete word; wenzelm parents: 56574 diff changeset	122	isabelle.jedit.Isabelle.complete(view, true);
53293 fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	123	</CODE>
fd27b8f5a479 added action isabelle.complete, using standard jEdit keyboard shortcut; wenzelm parents: 53161 diff changeset	124	</ACTION>
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	125	<ACTION NAME="isabelle.control-sub">
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	126	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	127	isabelle.jedit.Isabelle.control_sub(textArea);
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	128	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	129	</ACTION>
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	130	<ACTION NAME="isabelle.control-sup">
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_sup(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-bold">
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	136	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	137	isabelle.jedit.Isabelle.control_bold(textArea);
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	138	</CODE>
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	139	</ACTION>
61483 07c8d5d8acab added action "isabelle-emph"; wenzelm parents: 61218 diff changeset	140	<ACTION NAME="isabelle.control-emph">
07c8d5d8acab added action "isabelle-emph"; wenzelm parents: 61218 diff changeset	141	<CODE>
07c8d5d8acab added action "isabelle-emph"; wenzelm parents: 61218 diff changeset	142	isabelle.jedit.Isabelle.control_emph(textArea);
07c8d5d8acab added action "isabelle-emph"; wenzelm parents: 61218 diff changeset	143	</CODE>
07c8d5d8acab added action "isabelle-emph"; wenzelm parents: 61218 diff changeset	144	</ACTION>
50183 2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	145	<ACTION NAME="isabelle.control-reset">
2b3e24e1c9e7 improved editing support for control styles; wenzelm parents: 50143 diff changeset	146	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	147	isabelle.jedit.Isabelle.control_reset(textArea);
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	148	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	149	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	150	<ACTION NAME="isabelle.input-bsub">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	151	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	152	isabelle.jedit.Isabelle.input_bsub(textArea);
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	153	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	154	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	155	<ACTION NAME="isabelle.input-bsup">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	156	<CODE>
50208 1382ad6d4774 tuned signature; wenzelm parents: 50198 diff changeset	157	isabelle.jedit.Isabelle.input_bsup(textArea);
44864 e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	158	</CODE>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	159	</ACTION>
67132 336831647779 added action to make antiquoted cartouche; wenzelm parents: 66019 diff changeset	160	<ACTION NAME="isabelle.antiquoted_cartouche">
336831647779 added action to make antiquoted cartouche; wenzelm parents: 66019 diff changeset	161	<CODE>
336831647779 added action to make antiquoted cartouche; wenzelm parents: 66019 diff changeset	162	isabelle.jedit.Isabelle.antiquoted_cartouche(textArea);
336831647779 added action to make antiquoted cartouche; wenzelm parents: 66019 diff changeset	163	</CODE>
336831647779 added action to make antiquoted cartouche; wenzelm parents: 66019 diff changeset	164	</ACTION>
56574 2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	165	<ACTION NAME="isabelle.include-word">
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	166	<CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	167	isabelle.jedit.Isabelle.update_dictionary(textArea, true, false);
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	168	</CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	169	</ACTION>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	170	<ACTION NAME="isabelle.include-word-permanently">
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	171	<CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	172	isabelle.jedit.Isabelle.update_dictionary(textArea, true, true);
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	173	</CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	174	</ACTION>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	175	<ACTION NAME="isabelle.exclude-word">
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	176	<CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	177	isabelle.jedit.Isabelle.update_dictionary(textArea, false, false);
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	178	</CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	179	</ACTION>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	180	<ACTION NAME="isabelle.exclude-word-permanently">
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	181	<CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	182	isabelle.jedit.Isabelle.update_dictionary(textArea, false, true);
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	183	</CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	184	</ACTION>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	185	<ACTION NAME="isabelle.reset-words">
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	186	<CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	187	isabelle.jedit.Isabelle.reset_dictionary();
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	188	</CODE>
2b38472a4695 some actions to maintain spell-checker dictionary; wenzelm parents: 55824 diff changeset	189	</ACTION>
60878 1f0d2bbcf38b added action to toggle breakpoints (on editor side); wenzelm parents: 57627 diff changeset	190	<ACTION NAME="isabelle.toggle-breakpoint">
1f0d2bbcf38b added action to toggle breakpoints (on editor side); wenzelm parents: 57627 diff changeset	191	<CODE>
1f0d2bbcf38b added action to toggle breakpoints (on editor side); wenzelm parents: 57627 diff changeset	192	isabelle.jedit.Isabelle.toggle_breakpoint(textArea);
1f0d2bbcf38b added action to toggle breakpoints (on editor side); wenzelm parents: 57627 diff changeset	193	</CODE>
1f0d2bbcf38b added action to toggle breakpoints (on editor side); wenzelm parents: 57627 diff changeset	194	</ACTION>
57627 65fc7ae1bf66 added action "isabelle.options" (despite problems with initial window size); wenzelm parents: 56586 diff changeset	195	<ACTION NAME="isabelle.options">
65fc7ae1bf66 added action "isabelle.options" (despite problems with initial window size); wenzelm parents: 56586 diff changeset	196	<CODE>
65fc7ae1bf66 added action "isabelle.options" (despite problems with initial window size); wenzelm parents: 56586 diff changeset	197	isabelle.jedit.Isabelle.plugin_options(view);
65fc7ae1bf66 added action "isabelle.options" (despite problems with initial window size); wenzelm parents: 56586 diff changeset	198	</CODE>
65fc7ae1bf66 added action "isabelle.options" (despite problems with initial window size); wenzelm parents: 56586 diff changeset	199	</ACTION>
66019 69b5ef78fb07 HTML preview via builtin HTTP server; wenzelm parents: 63748 diff changeset	200	<ACTION NAME="isabelle.preview">
69b5ef78fb07 HTML preview via builtin HTTP server; wenzelm parents: 63748 diff changeset	201	<CODE>
67262 46540a2ead4b action "isabelle.draft" for plain-text preview; wenzelm parents: 67132 diff changeset	202	isabelle.jedit.Document_Model.open_preview(view, false);
46540a2ead4b action "isabelle.draft" for plain-text preview; wenzelm parents: 67132 diff changeset	203	</CODE>
46540a2ead4b action "isabelle.draft" for plain-text preview; wenzelm parents: 67132 diff changeset	204	</ACTION>
46540a2ead4b action "isabelle.draft" for plain-text preview; wenzelm parents: 67132 diff changeset	205	<ACTION NAME="isabelle.draft">
46540a2ead4b action "isabelle.draft" for plain-text preview; wenzelm parents: 67132 diff changeset	206	<CODE>
46540a2ead4b action "isabelle.draft" for plain-text preview; wenzelm parents: 67132 diff changeset	207	isabelle.jedit.Document_Model.open_preview(view, true);
66019 69b5ef78fb07 HTML preview via builtin HTTP server; wenzelm parents: 63748 diff changeset	208	</CODE>
69b5ef78fb07 HTML preview via builtin HTTP server; wenzelm parents: 63748 diff changeset	209	</ACTION>
69643 83f15deb2d36 added action "isabelle-export-browser"; wenzelm parents: 67262 diff changeset	210	<ACTION NAME="isabelle-export-browser">
83f15deb2d36 added action "isabelle-export-browser"; wenzelm parents: 67262 diff changeset	211	<CODE>
83f15deb2d36 added action "isabelle-export-browser"; wenzelm parents: 67262 diff changeset	212	isabelle.jedit.Isabelle_Export.open_browser(view);
83f15deb2d36 added action "isabelle-export-browser"; wenzelm parents: 67262 diff changeset	213	</CODE>
83f15deb2d36 added action "isabelle-export-browser"; wenzelm parents: 67262 diff changeset	214	</ACTION>
69762 58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69643 diff changeset	215	<ACTION NAME="isabelle-session-browser">
58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69643 diff changeset	216	<CODE>
58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69643 diff changeset	217	isabelle.jedit.Isabelle_Session.open_browser(view);
58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69643 diff changeset	218	</CODE>
58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69643 diff changeset	219	</ACTION>
63748 ebcc70c120a9 separate action; wenzelm parents: 63455 diff changeset	220	<ACTION NAME="isabelle.keymap-merge">
ebcc70c120a9 separate action; wenzelm parents: 63455 diff changeset	221	<CODE>
ebcc70c120a9 separate action; wenzelm parents: 63455 diff changeset	222	isabelle.jedit.Keymap_Merge.check_dialog(view);
ebcc70c120a9 separate action; wenzelm parents: 63455 diff changeset	223	</CODE>
ebcc70c120a9 separate action; wenzelm parents: 63455 diff changeset	224	</ACTION>
72976 51442c6dc296 more robust Java monitor: avoid odd warning about insecure connection; wenzelm parents: 72930 diff changeset	225	<ACTION NAME="isabelle.java-monitor">
71520 62755ec99671 support Java/VM monitoring via jconsole; wenzelm parents: 71499 diff changeset	226	<CODE>
72976 51442c6dc296 more robust Java monitor: avoid odd warning about insecure connection; wenzelm parents: 72930 diff changeset	227	isabelle.jedit.Isabelle.java_monitor(view);
71520 62755ec99671 support Java/VM monitoring via jconsole; wenzelm parents: 71499 diff changeset	228	</CODE>
62755ec99671 support Java/VM monitoring via jconsole; wenzelm parents: 71499 diff changeset	229	</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	230	</ACTIONS>

author	paulson <lp15@cam.ac.uk>
	Fri, 05 Jul 2024 21:58:40 +0100
changeset 80519	d757f0f98447
parent 73987	fc363a3b690a
child 81300	42ff2b915b1d
permissions	-rw-r--r--