[gnome-shell] windowManager: Always reset window actors when minimize animation is cancelled

[Florian Müllner <fmuellner src gnome org>]

commit 28d42628d1a00ea09466f537954e5902da524485
Author: Robert Mader <robert mader posteo de>
Date:   Sat Dec 21 15:16:47 2019 +0100

    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 41544ee7bd..7716bab741 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;