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
Fri, 19 Dec 2008 11:25:06 +0100
changeset 34460 cc5b9f02fbea
parent 34406 f81cd75ae331
child 34462 fefbd0421e4e
permissions -rw-r--r--
ability to deactivate buffers
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>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     2
 
	<ACTION NAME="Isabelle.show-output">
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     3
 
		<CODE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     4
 
			wm.addDockableWindow("Isabelle_output");
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>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     7
 
	<ACTION NAME="Isabelle.show-state">
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     8
 
		<CODE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     9
 
			wm.addDockableWindow("Isabelle_state");
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>
34342
b2781f2cd80a LazyScroller: rendering messages only when needed
immler@in.tum.de
parents: 34318
diff changeset 
    12
 
    <ACTION NAME="Isabelle.show-scroller">
b2781f2cd80a LazyScroller: rendering messages only when needed
immler@in.tum.de
parents: 34318
diff changeset 
    13
 
		<CODE>
b2781f2cd80a LazyScroller: rendering messages only when needed
immler@in.tum.de
parents: 34318
diff changeset 
    14
 
			wm.addDockableWindow("Isabelle_scroller");
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>
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    17
 
	<ACTION NAME="Isabelle.activate">
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
    18
 
		<CODE>
34460
cc5b9f02fbea ability to deactivate buffers
immler@in.tum.de
parents: 34406
diff changeset 
    19
 
			isabelle.jedit.Plugin$.MODULE$.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>
34406
f81cd75ae331 restructured: independent provers in different buffers
immler@in.tum.de
parents: 34342
diff changeset 
    22
 
			return isabelle.jedit.Plugin$.MODULE$.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