Function closeTab

frontend/src/react/stores/sqlEditor/tab.ts:236–265

(tabId)

    },

    closeTab(tabId) {
      const position = get().openTmpTabList.findIndex(
        (item) => item.id === tabId
      );
      if (position < 0) return;

      const wasCurrent = tabId === get().currentTabId;

      set((s) => {
        s.openTmpTabList.splice(position, 1);
        s.tabsById.delete(tabId);
        if (wasCurrent) {
          const nextIndex = Math.min(position, s.openTmpTabList.length - 1);
          s.currentTabId = s.openTmpTabList[nextIndex]?.id ?? "";
        }
      });

      persistOpenTabs(get().openTmpTabList);
      if (wasCurrent) {
        persistCurrentTabId(get().currentTabId);
      }

      // Dynamic import avoids a static cycle with the web terminal
      // service module (which transitively re-imports this module).
      void import("@/react/stores/sqlEditor/webTerminal-service").then(
        ({ disposeWebTerminalQuerySession }) => {
          disposeWebTerminalQuerySession(tabId);
        }
      );
    },

    updateTab(id, payload) {
      if (!get().tabsById.has(id)) return undefined;