| 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 |