From 7eb00e350ecd30c2693c4ba2ba4aa2580a52ed1a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 18 Jun 2024 18:55:05 +0200 Subject: [PATCH] window-list: Don't hide window button while unmanaging This will allow to animate the transition. Part-of: --- extensions/window-list/extension.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js index 7d005f0f..c2fee283 100644 --- a/extensions/window-list/extension.js +++ b/extensions/window-list/extension.js @@ -395,9 +395,11 @@ class WindowButton extends BaseButton { super(perMonitor, monitorIndex); this.metaWindow = metaWindow; + this._unmanaging = false; metaWindow.connectObject( 'notify::skip-taskbar', () => this._updateVisibility(), 'workspace-changed', () => this._updateVisibility(), + 'unmanaging', () => (this._unmanaging = true), this); this._updateVisibility(); @@ -449,6 +451,9 @@ class WindowButton extends BaseButton { } _updateVisibility() { + if (this._unmanaging) + return; + this.visible = this._isWindowVisible(this.metaWindow); }