(workspaceId: string)
| 1756 | } |
| 1757 | |
| 1758 | private async openWorkspaceFromView(workspaceId: string): Promise<void> { |
| 1759 | assert(typeof workspaceId === "string", "openWorkspaceFromView requires workspaceId"); |
| 1760 | |
| 1761 | const workspace = this.workspacesById.get(workspaceId); |
| 1762 | if (!workspace) { |
| 1763 | this.postMessage({ |
| 1764 | type: "uiNotice", |
| 1765 | level: "error", |
| 1766 | message: "Workspace not found. Refresh and try again.", |
| 1767 | }); |
| 1768 | return; |
| 1769 | } |
| 1770 | |
| 1771 | await setPendingAutoSelectWorkspace(this.context, workspace); |
| 1772 | await openWorkspace(workspace); |
| 1773 | } |
| 1774 | } |
| 1775 | |
| 1776 | async function maybeAutoRevealChatViewFromPendingSelection( |
no test coverage detected