From 0c4186d91f5ba3e25ba58241bbcf17325634d60a Mon Sep 17 00:00:00 2001
From: evykassirer <evy@zulip.com>
Date: Wed, 11 Sep 2024 15:11:19 -0700
Subject: [PATCH] message_list_view: Use more specific type for
 message_id_to_focus.

---
 web/src/message_list_view.ts | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/web/src/message_list_view.ts b/web/src/message_list_view.ts
index f370e3501b..5218108b43 100644
--- a/web/src/message_list_view.ts
+++ b/web/src/message_list_view.ts
@@ -336,11 +336,17 @@ function get_users_for_recipient_row(message: Message): RecipientRowUser[] {
     return users.sort(compare_by_name);
 }
 
-let message_id_to_focus_after_processing_message_events: {
-    id: number | undefined;
-    selectionStart: number | undefined;
-    selectionEnd: number | undefined;
-} = {
+let message_id_to_focus_after_processing_message_events:
+    | {
+          id: number;
+          selectionStart: number;
+          selectionEnd: number;
+      }
+    | {
+          id: undefined;
+          selectionStart: undefined;
+          selectionEnd: undefined;
+      } = {
     id: undefined,
     selectionStart: undefined,
     selectionEnd: undefined,