From a2cc3ed3959f49f2f5272bf3c61887dd6a92dbb2 Mon Sep 17 00:00:00 2001
From: Mauro Balades <mauro.balades@tutanota.com>
Date: Fri, 23 Aug 2024 12:27:05 +0200
Subject: [PATCH] Split views now add missing tabs to the group

---
 src/ZenViewSplitter.mjs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/ZenViewSplitter.mjs b/src/ZenViewSplitter.mjs
index 0264ee7..42d437a 100644
--- a/src/ZenViewSplitter.mjs
+++ b/src/ZenViewSplitter.mjs
@@ -240,6 +240,12 @@ var gZenViewSplitter = new class {
         group.tabs.includes(existingSplitTab)
       );
       if (groupIndex >= 0) {
+        // Add any tabs that are not already in the group
+        for (const tab of tabs) {
+          if (!this._data[groupIndex].tabs.includes(tab)) {
+            this._data[groupIndex].tabs.push(tab);
+          }
+        }
         this.updateSplitView(existingSplitTab);
         return;
       }