From 46ff0020bb74e4cb7f40f0a5a0549b5ccf89afc7 Mon Sep 17 00:00:00 2001
From: "mr. M" <mauro.balades@tutanota.com>
Date: Fri, 14 Feb 2025 11:32:40 +0100
Subject: [PATCH] Format event listener and improve attribute setting for
 workspace tabs

---
 src/browser/base/zen-components/ZenWorkspaces.mjs | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/src/browser/base/zen-components/ZenWorkspaces.mjs b/src/browser/base/zen-components/ZenWorkspaces.mjs
index bd698f616..4a0cbfea6 100644
--- a/src/browser/base/zen-components/ZenWorkspaces.mjs
+++ b/src/browser/base/zen-components/ZenWorkspaces.mjs
@@ -84,10 +84,14 @@ var ZenWorkspaces = new (class extends ZenMultiWindowFeature {
       await this.delayedStartup();
     }
     await this.promiseSectionsInitialized;
-    window.addEventListener('MozAfterPaint', async () => {
-      await SessionStore.promiseAllWindowsRestored;
-      await this.afterLoadInit();
-    }, { once: true });
+    window.addEventListener(
+      'MozAfterPaint',
+      async () => {
+        await SessionStore.promiseAllWindowsRestored;
+        await this.afterLoadInit();
+      },
+      { once: true }
+    );
   }
 
   async afterLoadInit() {
@@ -1356,7 +1360,7 @@ var ZenWorkspaces = new (class extends ZenMultiWindowFeature {
     let tab = gZenUIManager.openAndChangeToTab(BROWSER_NEW_TAB_URL);
 
     if (window.uuid) {
-      tab.setAttribute("zen-workspace-id", window.uuid)
+      tab.setAttribute('zen-workspace-id', window.uuid);
     }
 
     return tab;