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

[Benjamin Otte <otte src gnome org>]

commit ba247df40c32143d6df9fa99b140a40d84df9693
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 5939e88..4b9e1e5 100644
--- a/gtk/gtksettings.c
+++ b/gtk/gtksettings.c
@@ -1848,6 +1848,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);