Method refreshWorkspaces

vscode/src/extension.ts:1383–1445

()

  }

  private async refreshWorkspaces(): Promise<void> {
    const startedAt = Date.now();
    const generation = ++this.refreshWorkspacesGeneration;
    muxLogDebug("mux.chatView: refreshWorkspaces start", { traceId: this.traceId, generation });

    try {
      const result = await getWorkspacesForSidebar(this.context);

      if (generation !== this.refreshWorkspacesGeneration) {
        muxLogDebug("mux.chatView: refreshWorkspaces stale result discarded", {
          traceId: this.traceId,
          generation,
        });
        return;
      }

      this.connectionStatus = result.status;
      this.workspaces = result.workspaces;
      this.workspacesById = new Map(this.workspaces.map((w) => [w.id, w]));

      this.postMessage({ type: "connectionStatus", status: this.connectionStatus });
      this.postMessage({ type: "workspaces", workspaces: this.workspaces.map(toUiWorkspace) });

      if (this.selectedWorkspaceId && !this.workspacesById.has(this.selectedWorkspaceId)) {
        await this.setSelectedWorkspaceId(null);
      }

      // Intentionally do not auto-select a workspace; the user must explicitly choose one.
      await this.updateChatSubscription();

      muxLogDebug("mux.chatView: refreshWorkspaces done", {
        traceId: this.traceId,
        durationMs: Date.now() - startedAt,
        workspaceCount: this.workspaces.length,
        connectionMode: this.connectionStatus.mode,
        hasError: Boolean(this.connectionStatus.error),
      });
    } catch (error) {
      muxLogError("mux.chatView: refreshWorkspaces failed", {
        traceId: this.traceId,
        durationMs: Date.now() - startedAt,
        error: formatError(error),
      });

      const message = `Failed to load mux workspaces. (${formatError(error)})`;

      this.connectionStatus = { mode: "file", error: message };
      this.workspaces = [];
      this.workspacesById = new Map();

      this.subscriptionAbort?.abort();
      this.subscriptionAbort = null;
      this.subscribedWorkspaceId = null;

      this.selectedWorkspaceId = null;
      await this.context.workspaceState.update(SELECTED_WORKSPACE_STATE_KEY, undefined);

      this.postMessage({ type: "connectionStatus", status: this.connectionStatus });