GNOME Bugzilla – Bug 748987
GtkSettings: Allow the user to override values
Last modified: 2015-07-26 05:06:42 UTC
At times the user/developer wants to override various values. Currently the user's ~/.config/gtk-3.0/settings.ini and environment variables can be overridden by XSettings and the application. Note: This builds on Bug 748985 to make GTK_THEME override applications which set a custom value. Which actually brings back the full behavior prior to Bug 748985 as GTK_THEME was not application overridable.
Created attachment 302952 [details] [review] GtkSettings: Allow the user to override values
Yeah, I've seen this coming when I looked at the previous patch :-( Don't want it
Users can use the control-center / desktop settings for this. Developers can use GtkInspector