menu and button images

[Dirk Hohndel]

"Lubomir I. Ivanov" <neolit123 at gmail.com> writes:

> On 30 September 2012 02:13, Dirk Hohndel <dirk at hohndel.org> wrote:
>> diff --git a/gtk-gui.c b/gtk-gui.c
>> index 6395552..f60dd5d 100644
>> --- a/gtk-gui.c
>> +++ b/gtk-gui.c
>> @@ -995,6 +995,8 @@ void init_ui(int *argcp, char ***argvp)
>>         gtk_init(argcp, argvp);
>>         settings = gtk_settings_get_default();
>>         gtk_settings_set_long_property(settings, "gtk_tooltip_timeout", 10, "subsurface setting");
>> +       gtk_settings_set_long_property(settings, "gtk-menu-images", 1, "subsurface setting");
>> +       gtk_settings_set_long_property(settings, "gtk-button-images", 1, "subsurface setting");
>>
>>         g_type_init();
>>
>
> the icons should be added by default, IMO.
> if someone complains about having them in the menu (perhaps
> unlikely?), this could become a preferences checkbox.

What's the fun of being a maintainer if you can't make random decisions
like this. So I just applied this patch and turned the images on
everywhere.

/D