[gtk+] settings: Reset all styles when the enable-animations settings changes

[Benjamin Otte <otte src gnome org>]

commit 4067a45affeffed05b4f4e9c85e564b69e2c5c47
Author: Benjamin Otte <otte redhat com>
Date:   Thu Nov 1 12:23:42 2012 +0100

    settings: Reset all styles when the enable-animations settings changes
    
    https://bugzilla.gnome.org/show_bug.cgi?id=686021

 gtk/gtksettings.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c
index 47328f1..34f4211 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);