From a5343c33ecb11f3c2f2c81f1a25cbcd7f56bcb66 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 1 Dec 2023 19:10:08 +0100 Subject: [PATCH] window-list: Update visibility on window-type changes The visibility depends on the type, so we should listen for changes (even if the property is unlikely to change). Part-of: (cherry picked from commit 071584621e92c594551179e2320bd75631f5a274) --- extensions/window-list/workspaceIndicator.js | 1 + 1 file changed, 1 insertion(+) diff --git a/extensions/window-list/workspaceIndicator.js b/extensions/window-list/workspaceIndicator.js index 6d5657b2..e576a9af 100644 --- a/extensions/window-list/workspaceIndicator.js +++ b/extensions/window-list/workspaceIndicator.js @@ -39,6 +39,7 @@ class WindowPreview extends St.Button { 'size-changed', () => this._checkRelayout(), 'position-changed', () => this._checkRelayout(), 'notify::minimized', this._updateVisible.bind(this), + 'notify::window-type', this._updateVisible.bind(this), this); this._updateVisible();