From 751b71035b55c3f63b357d4623c041a01ced7c02 Mon Sep 17 00:00:00 2001
From: Mauro Balades <mauro.balades@tutanota.com>
Date: Thu, 8 Aug 2024 14:14:39 +0200
Subject: [PATCH] refactor: Remove unnecessary code in ZenWorkspaces.mjs

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

diff --git a/src/ZenWorkspaces.mjs b/src/ZenWorkspaces.mjs
index 606836b..4a5b6cd 100644
--- a/src/ZenWorkspaces.mjs
+++ b/src/ZenWorkspaces.mjs
@@ -184,6 +184,7 @@ var ZenWorkspaces = {
         await this.changeWorkspace(workspace)
         let panel = document.getElementById("PanelUI-zen-workspaces");
         PanelMultiView.hidePopup(panel);
+        document.getElementById("zen-workspaces-button").removeAttribute("open");
       }).bind(this, workspace);
       return element;
     }