paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-22 07:21:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

settings_components: Generate RealmUserSettingDefaultProperties from schema.

Browse Source 
This will be useful for later when we'll need the schema for
converting settings_org to typescript.
This commit is contained in:
evykassirer
2024-10-08 16:44:43 -07:00
committed by Tim Abbott
parent 67f4866201
commit 905a234966
1 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
web/src/settings_components.ts
View File

@@ -19,7 +19,10 @@ import {
NON_COMPACT_MODE_LINE_HEIGHT_PERCENT,
} from "./information_density";
import * as people from "./people";
import {realm_user_settings_defaults} from "./realm_user_settings_defaults";
import {
realm_default_settings_schema,
realm_user_settings_defaults,
} from "./realm_user_settings_defaults";
import * as scroll_util from "./scroll_util";
import * as settings_config from "./settings_config";
import * as settings_data from "./settings_data";
@@ -103,9 +106,13 @@ export const realm_setting_property_schema = z.union([
type RealmSettingProperty = z.infer<typeof realm_setting_property_schema>;
type RealmUserSettingDefaultType = typeof realm_user_settings_defaults;
type RealmUserSettingDefaultProperties =
| keyof RealmUserSettingDefaultType
| "email_notification_batching_period_edit_minutes";
export const realm_user_settings_default_properties_schema = z.union([
realm_default_settings_schema.keyof(),
z.literal("email_notification_batching_period_edit_minutes"),
]);
type RealmUserSettingDefaultProperties = z.infer<
typeof realm_user_settings_default_properties_schema
>;
type StreamSettingProperties = keyof StreamSubscription | "stream_privacy" | "is_default_stream";