From edbb20433293f48beb4ff6beb8c1d0dd1bf035f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 23 Jan 2019 23:40:18 +0100
Subject: [PATCH] animation: Disable spinner animations when actor is destroyed

There's nothing to animate anymore, just a source for warnings when
trying to access a destroyed object.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/362
---
 js/ui/animation.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/js/ui/animation.js b/js/ui/animation.js
index 5b4a10c08..65fff2cd7 100644
--- a/js/ui/animation.js
+++ b/js/ui/animation.js
@@ -104,6 +104,11 @@ var Spinner = new Lang.Class({
         this._animate = animate;
     },
 
+    _onDestroy() {
+        this._animate = false;
+        this.parent();
+    },
+
     play() {
         Tweener.removeTweens(this.actor);