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 wenzelm
Sun, 21 Dec 2008 21:43:40 +0100
changeset 34432 5a8b9fc98d8c
parent 34422 d5a41da986c3
child 34440 561a6d19bd95
permissions -rw-r--r--
renamed Plugin.plugin to Plugin.self;
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>
34432
5a8b9fc98d8c renamed Plugin.plugin to Plugin.self;
wenzelm
parents: 34422
diff changeset 
    19
 
			isabelle.jedit.Plugin$.MODULE$.self().install(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>
34432
5a8b9fc98d8c renamed Plugin.plugin to Plugin.self;
wenzelm
parents: 34422
diff changeset 
    22
 
			return isabelle.jedit.Plugin$.MODULE$.self().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