GNOME Bugzilla – Bug 755008
API to reset a gtksettings property
Last modified: 2015-10-04 02:42:38 UTC
(Continued from bug 507398 comment 4 .) You can override a gtksetting property value via g_object_set(), but there is no way to reset the override so that the property again tracks the xsettings value. This is necessary to implement a pref for 'use dark theme' in apps (e.g. gnome-terminal) without running into bug 742040 / bug 707206 (see esp. bug 707206 comment 8).
Created attachment 311587 [details] [review] Add gtk_settings_reset_property This api undoes an application-specific override and makes the setting follow the system-wide values again.
Created attachment 311588 [details] [review] inspector: Add a reset button for settings This is exercising the new gtk_settings_reset_property api.
Thanks, that looks fine to me. With this, we can reintroduce the gnome-terminal use-dark-theme patch upstream (done on wip/dark-theme branch there).
I'll land this as soon as we're branching for 3.18
Attachment 311587 [details] pushed as 2f0d4b6 - Add gtk_settings_reset_property Attachment 311588 [details] pushed as 47237dd - inspector: Add a reset button for settings