| Sat, 18 Sep 2010 14:28:42 +0200 |
wenzelm |
basic setup for prover session panel;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:59:55 +0200 |
wenzelm |
separate event bus and dockable for raw output (stdout);
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 18:22:10 +0100 |
wenzelm |
removed experimental history panel;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 23:45:42 +0100 |
wenzelm |
renamed "raw output" to "protocol";
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 21:49:30 +0100 |
wenzelm |
back to low-level JPanel, required for addNotify/removeNotify;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 22:40:01 +0100 |
wenzelm |
removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 17:16:29 +0100 |
wenzelm |
more conventional action names;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 12:32:40 +0100 |
wenzelm |
MOVABLE="TRUE" reuses existing instance when changing docking position --
|
file |
diff |
annotate
|
| Sun, 02 Nov 2008 14:50:26 +0100 |
immler |
calculate preferred sizes only when needed
|
file |
diff |
annotate
|
| Tue, 28 Oct 2008 20:15:28 +0100 |
immler |
absolute positioning according to preferred size of panels,
|
file |
diff |
annotate
|
| Thu, 23 Oct 2008 14:16:04 +0200 |
immler |
LazyScroller: rendering messages only when needed
|
file |
diff |
annotate
|
| Sun, 19 Oct 2008 16:51:55 +0200 |
wenzelm |
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
|
file |
diff |
annotate
|