isabelle: src/Tools/jEdit/src/actions.xml@cbcccf2a0f6f (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>
39515 57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	5	<ACTION NAME="isabelle.session-panel">
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	6	<CODE>
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	7	wm.addDockableWindow("isabelle-session");
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>
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 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	20	<ACTION NAME="isabelle.output-panel">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	21	<CODE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	22	wm.addDockableWindow("isabelle-output");
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	23	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	24	</ACTION>
49494 cbcccf2a0f6f renamed Output to Output1 and Output2 to Output, and thus make the new version the default; wenzelm parents: 49398 diff changeset	25	<ACTION NAME="isabelle.output1-panel">
49398 0fa4389c04f9 alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea; wenzelm parents: 48021 diff changeset	26	<CODE>
49494 cbcccf2a0f6f renamed Output to Output1 and Output2 to Output, and thus make the new version the default; wenzelm parents: 49398 diff changeset	27	wm.addDockableWindow("isabelle-output1");
49398 0fa4389c04f9 alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea; wenzelm parents: 48021 diff changeset	28	</CODE>
0fa4389c04f9 alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea; wenzelm parents: 48021 diff changeset	29	</ACTION>
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	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 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	35	<ACTION NAME="isabelle.protocol-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-protocol");
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>
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	40	<ACTION NAME="isabelle.input-sub">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	41	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	42	isabelle.jedit.Isabelle.input_sub(textArea);
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	43	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	44	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	45	<ACTION NAME="isabelle.input-sup">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	46	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	47	isabelle.jedit.Isabelle.input_sup(textArea);
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	48	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	49	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	50	<ACTION NAME="isabelle.input-isub">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	51	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	52	isabelle.jedit.Isabelle.input_isub(textArea);
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	53	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	54	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	55	<ACTION NAME="isabelle.input-isup">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	56	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	57	isabelle.jedit.Isabelle.input_isup(textArea);
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>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	60	<ACTION NAME="isabelle.input-bsub">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	61	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	62	isabelle.jedit.Isabelle.input_bsub(textArea);
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	63	</CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	64	</ACTION>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	65	<ACTION NAME="isabelle.input-bsup">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	66	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	67	isabelle.jedit.Isabelle.input_bsup(textArea);
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>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	70	<ACTION NAME="isabelle.input-bold">
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	71	<CODE>
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	72	isabelle.jedit.Isabelle.input_bold(textArea);
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>
44864 e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	75	<ACTION NAME="isabelle.check-buffer">
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	76	<CODE>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	77	isabelle.jedit.Isabelle.check_buffer(buffer);
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	78	</CODE>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	79	</ACTION>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	80	<ACTION NAME="isabelle.cancel-execution">
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	81	<CODE>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	82	isabelle.jedit.Isabelle.cancel_execution();
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	83	</CODE>
e50557cb0eb6 explicit jEdit actions -- to enable key mappings, for example; wenzelm parents: 44238 diff changeset	84	</ACTION>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	85	</ACTIONS>

author	wenzelm
	Fri, 21 Sep 2012 17:28:53 +0200
changeset 49494	cbcccf2a0f6f
parent 49398	0fa4389c04f9
child 49566	66cbf8bb4693
permissions	-rw-r--r--