From d66477ba43ffcbc92da914f438da473f95ab2050 Mon Sep 17 00:00:00 2001
From: "mr. M" <mauro.balades@tutanota.com>
Date: Tue, 15 Oct 2024 12:09:09 +0200
Subject: [PATCH] Refactor ZenWorkspaces to fix issue with workspace icon
 picker positioning

---
 src/ZenWorkspaces.mjs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ZenWorkspaces.mjs b/src/ZenWorkspaces.mjs
index a61762f..2146da2 100644
--- a/src/ZenWorkspaces.mjs
+++ b/src/ZenWorkspaces.mjs
@@ -740,7 +740,7 @@ var ZenWorkspaces = new (class extends ZenMultiWindowFeature {
     const parent = browser.ownerGlobal;
     let tab = gBrowser.getTabForBrowser(browser);
     let workspaceID = tab.getAttribute('zen-workspace-id');
-    if (!workspaceID) {
+    if (!workspaceID || (tab.pinned && !this._shouldAllowPinTab)) {
       return;
     }
     let activeWorkspace = await parent.ZenWorkspaces.getActiveWorkspace();