After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 736971 - GtkSettings: Add a private getter for the source
GtkSettings: Add a private getter for the source
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Debugging
unspecified
Other All
: Normal normal
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2014-09-19 12:45 UTC by Matthias Clasen
Modified: 2014-09-22 23:41 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
GtkSettings: Add a private getter for the source (2.91 KB, patch)
2014-09-19 12:45 UTC, Matthias Clasen 		committed Details | Review
inspector: Show the source of settings (2.25 KB, patch)
2014-09-19 12:45 UTC, Matthias Clasen 		committed Details | Review

Description Matthias Clasen 2014-09-19 12:45:13 UTC 
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.
Comment 1 Matthias Clasen 2014-09-19 12:45:16 UTC 
Created attachment 286622 [details] [review]
GtkSettings: Add a private getter for the source
Comment 2 Matthias Clasen 2014-09-19 12:45:39 UTC 
Created attachment 286623 [details] [review]
inspector: Show the source of settings

This can be useful at times to see if a setting is coming
from an XSetting, or overridden by the application.
Comment 3 Matthias Clasen 2014-09-22 23:41:10 UTC 
Attachment 286622 [details] pushed as 18931cf - GtkSettings: Add a private getter for the source
Attachment 286623 [details] pushed as eb96a7f - inspector: Show the source of settings