From 8078d78c30f9fde233d54c665bcd5c0fa80ea963 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= <verdre@v0yd.nl>
Date: Tue, 12 May 2020 13:51:27 +0200
Subject: [PATCH] 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 e05c02305..61d4f96f1 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) {