realm_user_settings_defaults: Fix user_list_style type.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2024-06-21 00:46:52 -07:00
committed by Tim Abbott
parent bb8f044a35
commit 282ea2d77f

View File

@@ -42,7 +42,7 @@ export type RealmDefaultSettings = {
starred_message_counts: boolean; starred_message_counts: boolean;
translate_emoticons: boolean; translate_emoticons: boolean;
twenty_four_hour_time: boolean; twenty_four_hour_time: boolean;
user_list_style: boolean; user_list_style: number;
web_escape_navigates_to_home_view: boolean; web_escape_navigates_to_home_view: boolean;
web_font_size_px: number; web_font_size_px: number;
web_home_view: string; web_home_view: string;