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