menu and button images

[Lubomir I. Ivanov]

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.

lubomir
--