(
store: WorkspaceStore,
workspaceId: string,
options: Partial<FrontendWorkspaceMetadata> = {},
activate = true
)
| 203 | |
| 204 | // Helper to create and add a workspace |
| 205 | function createAndAddWorkspace( |
| 206 | store: WorkspaceStore, |
| 207 | workspaceId: string, |
| 208 | options: Partial<FrontendWorkspaceMetadata> = {}, |
| 209 | activate = true |
| 210 | ): FrontendWorkspaceMetadata { |
| 211 | const metadata = makeWorkspaceMetadata(workspaceId, options); |
| 212 | if (activate) { |
| 213 | store.setActiveWorkspaceId(workspaceId); |
| 214 | } |
| 215 | store.addWorkspace(metadata); |
| 216 | return metadata; |
| 217 | } |
| 218 | |
| 219 | function createHistoryMessageEvent(id: string, historySequence: number): WorkspaceChatMessage { |
| 220 | return { |
no test coverage detected