From a51145f9dbbd7d0ae75de21dde6883f0ca6797b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 29 Mar 2022 17:06:40 +0200 Subject: [PATCH] window-list: Fix cleaning up signal on removal The map uses windows as key, so trying to remove the handler ID will leave stray windows/signals. Spotted by Ron Yorston. Part-of: --- extensions/window-list/extension.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js index f7e0a418..0ca6729d 100644 --- a/extensions/window-list/extension.js +++ b/extensions/window-list/extension.js @@ -998,7 +998,7 @@ class WindowList extends St.Widget { const id = this._windowSignals.get(win); if (id) win.disconnect(id); - this._windowSignals.delete(id); + this._windowSignals.delete(win); let children = this._windowList.get_children(); let child = children.find(c => c.metaWindow === win);