author | wenzelm |
Sat, 20 Dec 2008 17:16:29 +0100 | |
changeset 34422 | d5a41da986c3 |
parent 34415 | 3f76ce248c0e |
child 34652 | 5fe5e00ec430 |
permissions | -rw-r--r-- |
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 | 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 | 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 | 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> |