menu and button images
Dirk Hohndel
dirk at hohndel.org
Sat Sep 29 16:13:50 PDT 2012
Right now the menu and button images are a distribution choice - some
have them on, some have them off. I kinda like them, but I wonder if
there is a consensus one way or another.
I'm looking at you, Linus :-)
The patch below would turn them on everywhere (they appear on by default
on Ubuntu and Windows, off by default on Fedora).
/D
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();
More information about the subsurface
mailing list