diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2014-09-19 08:41:06 -0400 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2014-09-22 19:40:49 -0400 |
| commit | 18931cf0dbd52f1c96d6f89011aaf7b613e66267 (patch) | |
| tree | 3e7e97cb67fcd959d9aeacdd55c9171eb92123a4 /gtk/gtksettingsprivate.h | |
| parent | 5c95a2fc12db6a67192f5e4679cb1719cbb64e93 (diff) | |
| download | gtk+-18931cf0dbd52f1c96d6f89011aaf7b613e66267.tar.gz | |
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
Diffstat (limited to 'gtk/gtksettingsprivate.h')
| -rw-r--r-- | gtk/gtksettingsprivate.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gtk/gtksettingsprivate.h b/gtk/gtksettingsprivate.h index d44e722418..4ba07cd2b8 100644 --- a/gtk/gtksettingsprivate.h +++ b/gtk/gtksettingsprivate.h @@ -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 |