From 8ed3b72a56cdb1ffdbde9b4a21beb430233d3a81 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 1 Dec 2023 19:14:26 +0100
Subject: [PATCH] workspace-indicator: 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: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/292>
(cherry picked from commit 30a15387b5c6e8d47fb8d9f8043057e70a399925)
---
 extensions/workspace-indicator/extension.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index 28dca0ff..58adf52f 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -45,6 +45,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();