[gtk/fix-icontheme-invalidation: 16/18] spinner: Update when gtk-enable-animation changes

[Matthias Clasen <matthiasc src gnome org>]

commit f959a32343903b3daba59fe273f74f534253e339
Author: Matthias Clasen <mclasen redhat com>
Date:   Tue Apr 21 16:02:58 2020 -0400

    spinner: Update when gtk-enable-animation changes
    
    Start or stop spinning when the gtk-enable-animation setting
    changes, using the new GtkSystemSetting mechanism.

 gtk/gtkspinner.c | 9 +++++++++
 1 file changed, 9 insertions(+)
---
diff --git a/gtk/gtkspinner.c b/gtk/gtkspinner.c
index 55ae28a33d..cb34f48889 100644
--- a/gtk/gtkspinner.c
+++ b/gtk/gtkspinner.c
@@ -139,6 +139,14 @@ gtk_spinner_css_changed (GtkWidget         *widget,
     }
 }
 
+static void
+gtk_spinner_system_setting_changed (GtkWidget        *widget,
+                                    GtkSystemSetting  setting)
+{
+  if (setting == GTK_SYSTEM_SETTING_ANIMATIONS)
+    gtk_widget_reset_style (widget);
+}
+
 /**
  * gtk_spinner_get_spinning:
  * @spinner: a #GtkSpinner
@@ -229,6 +237,7 @@ gtk_spinner_class_init (GtkSpinnerClass *klass)
   widget_class->snapshot = gtk_spinner_snapshot;
   widget_class->measure = gtk_spinner_measure;
   widget_class->css_changed = gtk_spinner_css_changed;
+  widget_class->system_setting_changed = gtk_spinner_system_setting_changed;
   widget_class->grab_focus = gtk_widget_grab_focus_none;
   widget_class->focus = gtk_widget_focus_none;