Settings have a little more metadata than plain properties. They can come from different sources. Make this information available so we can show it in the inspector.
https://bugzilla.gnome.org/show_bug.cgi?id=736971
18931cf GtkSettings: Add a private getter for the source
gtk/gtksettings.c | 37 +++++++++++++++++++++++++++++--------
gtk/gtksettingsprivate.h | 10 ++++++++++
2 files changed, 39 insertions(+), 8 deletions(-)
Upstream: git.gnome.org