Function createWorkspaceSlice

frontend/src/react/stores/app/workspace.ts:146–907

(
  set,
  get
)

}

export const createWorkspaceSlice: AppSliceCreator<WorkspaceSlice> = (
  set,
  get
) => {
  // Listen on the shared cross-tab channel (see store/workspaceSwitchChannel.ts).
  // Using `addEventListener` rather than `onmessage = ...` allows the Vue-side
  // store to register its own handler on the same object, and source-object
  // exclusion correctly suppresses both handlers when a post originates from
  // this tab (e.g. the OAuth2 consent page's in-place switch).
  if (!workspaceSwitchListenerRegistered) {
    workspaceSwitchListenerRegistered = true;
    workspaceSwitchChannel.addEventListener("message", (event) => {
      get().recordRecentVisit(
        resolvePath(WORKSPACE_ROUTE_LANDING),
        typeof event.data === "string" ? event.data : undefined
      );
      window.location.href = "/";
    });
  }

  const unknownEnvironment = createUnknownEnvironment();
  const nullEnvironment = createNullEnvironment();
  const environmentFallbacksByName = new Map<string, Environment>();

  const getEnvironmentFallback = (name: string, id: string) => {
    const existing = environmentFallbacksByName.get(name);
    if (existing) return existing;
    const environment = { ...unknownEnvironment, id, name, title: id };
    environmentFallbacksByName.set(name, environment);
    return environment;
  };

  // Persist the ENVIRONMENT setting and re-derive the cached environment list
  // from the server's response (mirrors the legacy Pinia env store).
  const writeEnvironmentSetting = async (
    environments: EnvironmentSetting_Environment[]
  ): Promise<Environment[]> => {
    const response = await get().upsertSetting({
      name: Setting_SettingName.ENVIRONMENT,
      value: createProto(SettingValueSchema, {
        value: {
          case: "environment",
          value: createProto(EnvironmentSettingSchema, { environments }),
        },
      }),
    });
    const next =
      response.value?.value?.case === "environment"
        ? convertEnvironmentList(response.value.value.value.environments)
        : [];
    set({ environmentList: next });
    return next;
  };

  return {
    serverInfoTs: 0,
    workspaceList: [],
    environmentList: [],