wenzelm [Tue, 08 Dec 2009 21:54:34 +0100] rev 34772
more precise messages;
wenzelm [Tue, 08 Dec 2009 21:49:30 +0100] rev 34771
back to low-level JPanel, required for addNotify/removeNotify;
proper actor wiring, support multiple (floating) instances;
wenzelm [Tue, 08 Dec 2009 21:48:12 +0100] rev 34770
added properties_changed event bus;
wenzelm [Tue, 08 Dec 2009 21:01:16 +0100] rev 34769
provide dummy URL;
wenzelm [Tue, 08 Dec 2009 20:14:08 +0100] rev 34768
generic HTML_Panel -- specific Results_Dockable;
wenzelm [Tue, 08 Dec 2009 20:13:07 +0100] rev 34767
tuned;
wenzelm [Tue, 08 Dec 2009 18:00:05 +0100] rev 34766
tuned;
wenzelm [Tue, 08 Dec 2009 17:56:53 +0100] rev 34765
simplified register_fonts;
wenzelm [Tue, 08 Dec 2009 16:44:30 +0100] rev 34764
tuned library names;
wenzelm [Tue, 08 Dec 2009 16:30:20 +0100] rev 34763
misc modernization of names;