Method closeTerminalWindow

src/desktop/terminalWindowManager.ts:137–147

* Close all terminal windows for a workspace

(workspaceId: string)

   * Close all terminal windows for a workspace
   */
  closeTerminalWindow(workspaceId: string): void {
    const windowSet = this.windows.get(workspaceId);
    if (windowSet) {
      for (const window of windowSet) {
        if (!window.isDestroyed()) {
          window.close();
        }
      }
      this.windows.delete(workspaceId);
    }
  }

  /**
   * Close all terminal windows for all workspaces