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 gtk-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gtk-list
