From 28d42628d1a00ea09466f537954e5902da524485 Mon Sep 17 00:00:00 2001
From: Robert Mader <robert.mader@posteo.de>
Date: Sat, 21 Dec 2019 15:16:47 +0100
Subject: [PATCH] windowManager: Always reset window actors when minimize
 animation is cancelled

This was left out in b6d47c18c. Fixes an occasional warning:
`this._minimizeWindowOverwritten is not a function`

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/911
---
 js/ui/windowManager.js | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 41544ee7b..7716bab74 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1315,12 +1315,7 @@ var WindowManager = class {
                 opacity: 0,
                 duration: MINIMIZE_WINDOW_ANIMATION_TIME,
                 mode: Clutter.AnimationMode.EASE_OUT_QUAD,
-                onStopped: isFinished => {
-                    if (isFinished)
-                        this._minimizeWindowDone(shellwm, actor);
-                    else
-                        this._minimizeWindowOverwritten(shellwm, actor);
-                },
+                onStopped: () => this._minimizeWindowDone(shellwm, actor),
             });
         } else {
             let xDest, yDest, xScale, yScale;