windowManager: Replace left-over calls to _removeEffect()

Those calls no longer exist on master, so the cherry-pick commit in
22b6a09cd7 missed them.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1884
This commit is contained in:
Florian Müllner 2019-11-11 22:39:58 +01:00
parent ef726bf313
commit 7e8884a601

View File

@ -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);
}
}