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/dockables.xml
author immler@in.tum.de
Sat, 10 Jan 2009 17:33:21 +0100
changeset 34461 2dd8ced4f2ae
parent 34422 d5a41da986c3
child 34652 5fe5e00ec430
permissions -rw-r--r--
create folder 'jars' before copying
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
 
<?xml version="1.0"?>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset 
     2
 












c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




     3


<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">













c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




     4














c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




     5


<DOCKABLES>








34422






d5a41da986c3
more conventional action names;



wenzelm


parents: 
34415

diff
changeset




     6


	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




     7


		new isabelle.jedit.OutputDockable(view, position);













c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




     8


	</DOCKABLE>








34422






d5a41da986c3
more conventional action names;



wenzelm


parents: 
34415

diff
changeset




     9


	<DOCKABLE NAME="isabelle-state" MOVABLE="TRUE">








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    10


		new isabelle.jedit.StateViewDockable(view, position);













c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    11


	</DOCKABLE>








34422






d5a41da986c3
more conventional action names;



wenzelm


parents: 
34415

diff
changeset




    12


	<DOCKABLE NAME="isabelle-scroller" MOVABLE="TRUE">








34350






aa4f35a305fa
calculate preferred sizes only when needed



immler@in.tum.de


parents: 
34344

diff
changeset




    13


		new isabelle.jedit.ScrollerDockable(view, position);








34342






b2781f2cd80a
LazyScroller: rendering messages only when needed



immler@in.tum.de


parents: 
34318

diff
changeset




    14


	</DOCKABLE>








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    15


</DOCKABLES>














isabelle