Function dispatchWorkspaceSwitch

src/browser/utils/workspaceEvents.ts:10–16

(workspaceInfo: FrontendWorkspaceMetadata)

}

export function dispatchWorkspaceSwitch(workspaceInfo: FrontendWorkspaceMetadata): void {
  window.dispatchEvent(
    new CustomEvent(CUSTOM_EVENTS.WORKSPACE_FORK_SWITCH, {
      detail: workspaceInfo,
    })
  );
}