From d0bdea3178bcec2c510d847a534ab01773bdbda0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Mon, 9 Jul 2018 11:50:25 +0200 Subject: [PATCH] workspace: Don't keep stale clones in list If a clone gets destroyed before the corresponding MetaWindow is removed from the workspace, we will still find it in the list of clones and try to destroy it again. Avoid the resulting warnings by updating the list of clones immediately when a clone is destroyed. https://bugzilla.gnome.org/show_bug.cgi?id=791233 --- js/ui/workspace.js | 58 +++++++++++++++++++++++++--------------------- 1 file changed, 32 insertions(+), 26 deletions(-) diff --git a/js/ui/workspace.js b/js/ui/workspace.js index d9baef61d..06a9d7774 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -1443,34 +1443,26 @@ var Workspace = new Lang.Class({ _doRemoveWindow(metaWin) { let win = metaWin.get_compositor_private(); - // find the position of the window in our list - let index = this._lookupIndex (metaWin); + let clone = this._removeWindowClone(metaWin); - if (index == -1) - return; - - let clone = this._windows[index]; - - this._windows.splice(index, 1); - this._windowOverlays.splice(index, 1); - - // If metaWin.get_compositor_private() returned non-NULL, that - // means the window still exists (and is just being moved to - // another workspace or something), so set its overviewHint - // accordingly. (If it returned NULL, then the window is being - // destroyed; we'd like to animate this, but it's too late at - // this point.) - if (win) { - let [stageX, stageY] = clone.actor.get_transformed_position(); - let [stageWidth, stageHeight] = clone.actor.get_transformed_size(); - win._overviewHint = { - x: stageX, - y: stageY, - scale: stageWidth / clone.actor.width - }; + if (clone) { + // If metaWin.get_compositor_private() returned non-NULL, that + // means the window still exists (and is just being moved to + // another workspace or something), so set its overviewHint + // accordingly. (If it returned NULL, then the window is being + // destroyed; we'd like to animate this, but it's too late at + // this point.) + if (win) { + let [stageX, stageY] = clone.actor.get_transformed_position(); + let [stageWidth, stageHeight] = clone.actor.get_transformed_size(); + win._overviewHint = { + x: stageX, + y: stageY, + scale: stageWidth / clone.actor.width + }; + } + clone.destroy(); } - clone.destroy(); - // We need to reposition the windows; to avoid shuffling windows // around while the user is interacting with the workspace, we delay @@ -1865,6 +1857,9 @@ var Workspace = new Lang.Class({ clone.connect('size-changed', () => { this._recalculateWindowPositions(WindowPositionFlags.NONE); }); + clone.actor.connect('destroy', () => { + this._removeWindowClone(clone.metaWindow); + }); this.actor.add_actor(clone.actor); @@ -1886,6 +1881,17 @@ var Workspace = new Lang.Class({ return [clone, overlay]; }, + _removeWindowClone(metaWin) { + // find the position of the window in our list + let index = this._lookupIndex (metaWin); + + if (index == -1) + return null; + + this._windowOverlays.splice(index, 1); + return this._windows.splice(index, 1).pop(); + }, + _onShowOverlayClose(windowOverlay) { for (let i = 0; i < this._windowOverlays.length; i++) { let overlay = this._windowOverlays[i];