GSR - FR <[EMAIL PROTECTED]> writes:
> Which "seems" to work, but I guess there will be some case in which it
> will not. The only hope is that with all the GTK+ widget reorg, they
> pass the GNOME part that handles menus and buttons (or whatever way
> they do it which allows to have such option in the GNOME config), and
> can be set via some kind of boolean options like GtkMenu::have_icons
> and GtkButtons::have_icons. It will probably make integration with
> other OSes better (some have no icons in buttons or in both) without
> putting the heavy weight in the theme, as well just making some other
> users happy in general, btw.
You could try to work a bit on your style of asking people to do you a
favor even though they don't owe you anything and then kindly ask the
GTK+ developers for such a setting.
Gimp-user mailing list