Ok, seems like a good idea. I though there might be a general theme preference or something like that.
best regards, --Hans David Nec(as (Yeti) schreef: > 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 > > > _______________________________________________ gtk-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gtk-list
