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;
wenzelm [Tue, 08 Dec 2009 14:49:01 +0100] rev 34762
misc rearrangement of files;
wenzelm [Tue, 08 Dec 2009 14:29:29 +0100] rev 34761
removed remains of Flying Saucer;