Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/plugin/actions.xml
author immler@in.tum.de
Sat, 10 Jan 2009 17:59:23 +0100
changeset 34462 fefbd0421e4e
parent 34460 cc5b9f02fbea
parent 34440 561a6d19bd95
child 34652 5fe5e00ec430
permissions -rw-r--r--
merged
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     1
 
<ACTIONS>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
     2
 
	<ACTION NAME="isabelle.show-output">
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     3
 
		<CODE>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
     4
 
			wm.addDockableWindow("isabelle-output");
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     5
 
		</CODE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     6
 
	</ACTION>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
     7
 
	<ACTION NAME="isabelle.show-state">
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     8
 
		<CODE>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
     9
 
			wm.addDockableWindow("isabelle-state");
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    10
 
		</CODE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    11
 
	</ACTION>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
    12
 
    <ACTION NAME="isabelle.show-scroller">
34342
b2781f2cd80a LazyScroller: rendering messages only when needed
immler@in.tum.de
parents: 34318
diff changeset 
    13
 
		<CODE>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
    14
 
			wm.addDockableWindow("isabelle-scroller");
34342
b2781f2cd80a LazyScroller: rendering messages only when needed
immler@in.tum.de
parents: 34318
diff changeset 
    15
 
		</CODE>
b2781f2cd80a LazyScroller: rendering messages only when needed
immler@in.tum.de
parents: 34318
diff changeset 
    16
 
	</ACTION>
34422
d5a41da986c3 more conventional action names;
wenzelm
parents: 34406
diff changeset 
    17
 
	<ACTION NAME="isabelle.activate">
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    18
 
		<CODE>
34462
immler@in.tum.de
parents: 34460 34440
diff changeset 
    19
 
			isabelle.jedit.Isabelle.plugin().switch_active(view);
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    20
 
		</CODE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    21
 
		<IS_SELECTED>
34440
561a6d19bd95 renamed object Plugin to Isabelle;
wenzelm
parents: 34432
diff changeset 
    22
 
			return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    23
 
		</IS_SELECTED>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    24
 
	</ACTION>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    25
 
</ACTIONS>
isabelle