GtkSettings: Add a private getter for the source

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
This commit is contained in:
Matthias Clasen
2014-09-19 08:41:06 -04:00
parent 5c95a2fc12
commit 18931cf0db
2 changed files with 39 additions and 8 deletions

View File

@ -40,6 +40,16 @@ gboolean _gtk_settings_parse_convert (GtkRcPropertyParse
GdkScreen *_gtk_settings_get_screen (GtkSettings *settings);
GtkStyleCascade *_gtk_settings_get_style_cascade (GtkSettings *settings);
typedef enum
{
GTK_SETTINGS_SOURCE_DEFAULT,
GTK_SETTINGS_SOURCE_THEME,
GTK_SETTINGS_SOURCE_XSETTING,
GTK_SETTINGS_SOURCE_APPLICATION
} GtkSettingsSource;
GtkSettingsSource _gtk_settings_get_setting_source (GtkSettings *settings,
const gchar *name);
G_END_DECLS