Hi, 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. Sven _______________________________________________ Gimp-user mailing list [EMAIL PROTECTED] http://lists.xcf.berkeley.edu/mailman/listinfo/gimp-user
