On Thu, May 17, 2007 at 11:18:06PM +0200, Hans Oesterholt-Dijkema wrote: > Is there another way, e.g. could a user set the toolbar size via > a preferences menu?
How another? This is perfectly possible with the suggested way. Just set the property on all toolbars when the user changes the preferences. Yeti -- http://gwyddion.net/ _______________________________________________ gtk-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gtk-list
