diff options
author | Benjamin Otte <otte@redhat.com> | 2015-01-27 00:25:05 +0100 |
---|---|---|
committer | Benjamin Otte <otte@redhat.com> | 2015-01-27 05:04:34 +0100 |
commit | 11d70f1ac30dd491d9d8dac9b9e2c31cee073cc9 (patch) | |
tree | 1f76fae360676a9e5545d6d315818660e99578a1 /gtk/gtkcsstypesprivate.h | |
parent | 9cbf04c1d2db22001995b9851587b475ffcefe44 (diff) | |
download | gtk+-11d70f1ac30dd491d9d8dac9b9e2c31cee073cc9.tar.gz |
css: Add a -gtk-icon-theme CSS property
The property is useless to set (it only allows 'initial', 'inherit' and
'unset' as values), but it is used to track changes to the icon theme.
And as such, it can ensure that widgets can track when they need to
reload icons.
https://bugzilla.gnome.org/show_bug.cgi?id=743341
Diffstat (limited to 'gtk/gtkcsstypesprivate.h')
-rw-r--r-- | gtk/gtkcsstypesprivate.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk/gtkcsstypesprivate.h b/gtk/gtkcsstypesprivate.h index 88bc6f647a..b586623185 100644 --- a/gtk/gtkcsstypesprivate.h +++ b/gtk/gtkcsstypesprivate.h @@ -111,6 +111,7 @@ typedef enum /*< skip >*/ { enum { /*< skip >*/ GTK_CSS_PROPERTY_COLOR, GTK_CSS_PROPERTY_FONT_SIZE, + GTK_CSS_PROPERTY_ICON_THEME, GTK_CSS_PROPERTY_BACKGROUND_COLOR, GTK_CSS_PROPERTY_FONT_FAMILY, GTK_CSS_PROPERTY_FONT_STYLE, |