From 62c056b4d00c6426083ea23ed27f170b72ea145f Mon Sep 17 00:00:00 2001
From: mauro-balades <mauro.balades@tutanota.com>
Date: Sat, 14 Sep 2024 11:34:26 +0200
Subject: [PATCH] Refactor ZenWorkspaces.mjs to discard unloaded tabs when
 hiding workspace

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

diff --git a/src/ZenWorkspaces.mjs b/src/ZenWorkspaces.mjs
index 36f3bd0..ece391a 100644
--- a/src/ZenWorkspaces.mjs
+++ b/src/ZenWorkspaces.mjs
@@ -508,6 +508,8 @@ var ZenWorkspaces = {
     }
     for (let tab of gBrowser.tabs) {
       if (tab.getAttribute('zen-workspace-id') !== window.uuid) {
+        // FOR UNLOADING TABS:
+        // gBrowser.discardBrowser(tab, true);
         gBrowser.hideTab(tab, undefined, shouldAllowPinnedTabs);
       }
     }