I added a button to the taskbar, but this one is regularly pooled and udpated with the active window. So my button is deleted.
As far as I can see from the taskbar code there is no mechanism to add alternate widget to the taskbar, right? Hilaire -- Dr. Geo, to discover geometry on Linux, Windows, MAC and XO http://community.ofset.org/index.php/DrGeo _______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
