Function broadcastWorkspaceSwitch

frontend/src/store/workspaceSwitchChannel.ts:20–22

(workspaceName: string)

);

export const broadcastWorkspaceSwitch = (workspaceName: string) => {
  workspaceSwitchChannel.postMessage(workspaceName);
};