| Tue, 08 Dec 2009 22:38:32 +0100 |
wenzelm |
prefer options from running application;
|
changeset |
files
|
| Tue, 08 Dec 2009 21:54:34 +0100 |
wenzelm |
more precise messages;
|
changeset |
files
|
| Tue, 08 Dec 2009 21:49:30 +0100 |
wenzelm |
back to low-level JPanel, required for addNotify/removeNotify;
|
changeset |
files
|
| Tue, 08 Dec 2009 21:48:12 +0100 |
wenzelm |
added properties_changed event bus;
|
changeset |
files
|
| Tue, 08 Dec 2009 21:01:16 +0100 |
wenzelm |
provide dummy URL;
|
changeset |
files
|
| Tue, 08 Dec 2009 20:14:08 +0100 |
wenzelm |
generic HTML_Panel -- specific Results_Dockable;
|
changeset |
files
|
| Tue, 08 Dec 2009 20:13:07 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 08 Dec 2009 18:00:05 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 08 Dec 2009 17:56:53 +0100 |
wenzelm |
simplified register_fonts;
|
changeset |
files
|
| Tue, 08 Dec 2009 16:44:30 +0100 |
wenzelm |
tuned library names;
|
changeset |
files
|
| Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
changeset |
files
|
| Tue, 08 Dec 2009 14:49:01 +0100 |
wenzelm |
misc rearrangement of files;
|
changeset |
files
|
| Tue, 08 Dec 2009 14:29:29 +0100 |
wenzelm |
removed remains of Flying Saucer;
|
changeset |
files
|
| Tue, 08 Dec 2009 12:10:55 +0100 |
wenzelm |
manipulate document within Swing thread only -- potentially slow;
|
changeset |
files
|