| 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 |
| Tue, 08 Dec 2009 12:09:17 +0100 | wenzelm | tuned JVM settings; | changeset | files |
| Mon, 07 Dec 2009 23:01:13 +0100 | wenzelm | misc updates; | changeset | files |