diff options
| author | Benjamin Otte <otte@redhat.com> | 2012-11-01 12:23:42 +0100 |
|---|---|---|
| committer | Benjamin Otte <otte@redhat.com> | 2012-11-01 12:27:31 +0100 |
| commit | 4067a45affeffed05b4f4e9c85e564b69e2c5c47 (patch) | |
| tree | eafa4227fd4a52b36ce1a73342f5c194b6f2619c | |
| parent | 625f8a6dd32e5a826192075c73d61e8bcda98070 (diff) | |
| download | gtk+-4067a45affeffed05b4f4e9c85e564b69e2c5c47.tar.gz | |
settings: Reset all styles when the enable-animations settings changes
https://bugzilla.gnome.org/show_bug.cgi?id=686021
| -rw-r--r-- | gtk/gtksettings.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c index 47328f1049..34f4211791 100644 --- a/gtk/gtksettings.c +++ b/gtk/gtksettings.c @@ -1854,6 +1854,9 @@ gtk_settings_notify (GObject *object, if (settings_update_fontconfig (settings)) gtk_style_context_reset_widgets (priv->screen); break; + case PROP_ENABLE_ANIMATIONS: + gtk_style_context_reset_widgets (priv->screen); + break; case PROP_CURSOR_THEME_NAME: case PROP_CURSOR_THEME_SIZE: settings_update_cursor_theme (settings); |