diff options
Diffstat (limited to 'js/ui/windowManager.js')
| -rw-r--r-- | js/ui/windowManager.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index c1bc41545..3d8c46572 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -704,6 +704,7 @@ var WindowManager = class { this._unminimizing = new Set(); this._mapping = new Set(); this._resizing = new Set(); + this._resizePending = new Set(); this._destroying = new Set(); this._movingWindow = null; @@ -1492,6 +1493,7 @@ var WindowManager = class { this._clearAnimationInfo(actor); }); + this._resizePending.add(actor); actor.__animationInfo = { clone: actorClone, oldRect: oldFrameRect, destroyId: destroyId }; @@ -1510,6 +1512,7 @@ var WindowManager = class { let scaleX = targetRect.width / sourceRect.width; let scaleY = targetRect.height / sourceRect.height; + this._resizePending.delete(actor); this._resizing.add(actor); // Now scale and fade out the clone @@ -1571,6 +1574,9 @@ var WindowManager = class { actor.translation_y = 0; this._clearAnimationInfo(actor); } + + if (this._resizePending.delete(actor)) + this._shellwm.completed_size_change(actor); } _sizeChangeWindowOverwritten(shellwm, actor) { |