Function writeEnvironmentSetting

frontend/src/react/stores/app/workspace.ts:180–198

(
    environments: EnvironmentSetting_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,