Turn menu and button images on regardless of OS settings.

Right now the menu and button images are a distribution choice - some
have them on, some have them off. I kinda like them and think that even on
OSs that have them off by default this doesn't look out of place (as other
apps clearly do the same).

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2012-09-29 16:13:50 -07:00
parent 3e7780e7cd
commit b4c11a7ed3

View file

@ -1009,7 +1009,9 @@ void init_ui(int *argcp, char ***argvp)
gtk_init(argcp, argvp); gtk_init(argcp, argvp);
settings = gtk_settings_get_default(); settings = gtk_settings_get_default();
gtk_settings_set_long_property(settings, "gtk_tooltip_timeout", 10, "subsurface setting"); 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(); g_type_init();