[gnome-shell] windowManager: Also clear animationInfo when size-changed wasn't emitted

[Robert Mader <rmader src gnome org>]

commit 8078d78c30f9fde233d54c665bcd5c0fa80ea963
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Tue May 12 13:51:27 2020 +0200

    windowManager: Also clear animationInfo when size-changed wasn't emitted
    
    It might be that we receive a "kill-window-effects" signal between the
    emission of the "size-change" and the "size-changed" signal.
    
    In this case we already have the animationInfo attached to the window
    actor, so we should also remove it.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1251

 js/ui/windowManager.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index e05c02305a..61d4f96f14 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1385,8 +1385,10 @@ var WindowManager = class {
             this._clearAnimationInfo(actor);
         }
 
-        if (this._resizePending.delete(actor))
+        if (this._resizePending.delete(actor)) {
+            this._clearAnimationInfo(actor);
             this._shellwm.completed_size_change(actor);
+        }
     }
 
     _hasAttachedDialogs(window, ignoreWindow) {