From 282ea2d77fa0aab5b5fcd0e270e67a314a54603c Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Fri, 21 Jun 2024 00:46:52 -0700
Subject: [PATCH] realm_user_settings_defaults: Fix user_list_style type.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 web/src/realm_user_settings_defaults.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/src/realm_user_settings_defaults.ts b/web/src/realm_user_settings_defaults.ts
index b378401bf0..3347a75b02 100644
--- a/web/src/realm_user_settings_defaults.ts
+++ b/web/src/realm_user_settings_defaults.ts
@@ -42,7 +42,7 @@ export type RealmDefaultSettings = {
     starred_message_counts: boolean;
     translate_emoticons: boolean;
     twenty_four_hour_time: boolean;
-    user_list_style: boolean;
+    user_list_style: number;
     web_escape_navigates_to_home_view: boolean;
     web_font_size_px: number;
     web_home_view: string;