From 7e8884a6010863c6d90ec9b72ba1fcb2ac1ecc7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Mon, 11 Nov 2019 22:39:58 +0100 Subject: [PATCH] windowManager: Replace left-over calls to _removeEffect() Those calls no longer exist on master, so the cherry-pick commit in 22b6a09cd74e missed them. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1884 --- js/ui/windowManager.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 3d8c46572..7ea2b8154 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -1376,7 +1376,7 @@ var WindowManager = class { } _minimizeWindowOverwritten(shellwm, actor) { - if (this._removeEffect(this._minimizing, actor)) { + if (this._minimizing.delete(actor)) { shellwm.completed_minimize(actor); } } @@ -1458,7 +1458,7 @@ var WindowManager = class { } _unminimizeWindowOverwritten(shellwm, actor) { - if (this._removeEffect(this._unminimizing, actor)) { + if (this._unminimizing.delete(actor)) { shellwm.completed_unminimize(actor); } } @@ -1580,7 +1580,7 @@ var WindowManager = class { } _sizeChangeWindowOverwritten(shellwm, actor) { - if (this._removeEffect(this._resizing, actor)) + if (this._resizing.delete(actor)) this._clearAnimationInfo(actor); } @@ -1730,7 +1730,7 @@ var WindowManager = class { } _mapWindowOverwrite(shellwm, actor) { - if (this._removeEffect(this._mapping, actor)) { + if (this._mapping.delete(actor)) { shellwm.completed_map(actor); } }