settings: Reset all styles when the enable-animations settings changes

https://bugzilla.gnome.org/show_bug.cgi?id=686021
This commit is contained in:
Benjamin Otte 2012-11-01 12:23:42 +01:00
parent 625f8a6dd3
commit 4067a45aff

View File

@ -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);