From 4067a45affeffed05b4f4e9c85e564b69e2c5c47 Mon Sep 17 00:00:00 2001
From: Benjamin Otte <otte@redhat.com>
Date: Thu, 1 Nov 2012 12:23:42 +0100
Subject: [PATCH] settings: Reset all styles when the enable-animations
 settings changes

https://bugzilla.gnome.org/show_bug.cgi?id=686021
---
 gtk/gtksettings.c | 3 +++
 1 file changed, 3 insertions(+)

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