Function openWorkspaceCommand

vscode/src/extension.ts:506–588

* Command: Open a mux workspace

(
  context: vscode.ExtensionContext,
  options?: {
    chatViewProvider?: MuxChatViewProvider;
  }
)

 * Command: Open a mux workspace
 */
async function openWorkspaceCommand(
  context: vscode.ExtensionContext,
  options?: {
    chatViewProvider?: MuxChatViewProvider;
  }
): Promise<void> {
  // Get all workspaces, this is intentionally not cached.
  const workspaces = await getWorkspacesForCommand(context);
  if (!workspaces) {
    return;
  }

  if (workspaces.length === 0) {
    const selection = await vscode.window.showInformationMessage(
      "No mux workspaces found. Create a workspace in mux first.",
      "Open mux"
    );

    // User can't easily open mux from VS Code, so just inform them
    if (selection === "Open mux") {
      vscode.window.showInformationMessage("Please open the mux application to create workspaces.");
    }
    return;
  }

  // Create QuickPick items (already sorted by recency in getAllWorkspaces)
  const allItems = workspaces.map(createWorkspaceQuickPickItem);

  // Use createQuickPick for more control over sorting behavior
  const quickPick = vscode.window.createQuickPick<
    vscode.QuickPickItem & { workspace: WorkspaceWithContext }
  >();
  quickPick.placeholder = "Select a mux workspace to open";
  quickPick.matchOnDescription = true;
  quickPick.matchOnDetail = false;
  quickPick.items = allItems;

  // When user types, filter items but preserve recency order
  quickPick.onDidChangeValue((value) => {
    if (!value) {
      // No filter - show all items in recency order
      quickPick.items = allItems;
      return;
    }

    // Filter items manually to preserve recency order
    const lowerValue = value.toLowerCase();
    quickPick.items = allItems.filter((item) => {
      const labelMatch = item.label.toLowerCase().includes(lowerValue);
      const descMatch = item.description?.toLowerCase().includes(lowerValue);
      return labelMatch || descMatch;
    });
  });

  quickPick.show();

  // Wait for user selection
  const selected = await new Promise<