From 69294d5bafda15b32b35d8b6cde0c6339204f446 Mon Sep 17 00:00:00 2001
From: Lalit <lalitkumarsingh3716@gmail.com>
Date: Sat, 20 Jan 2024 14:30:36 +0530
Subject: [PATCH] message_lists: Add type for `opts` parameter of `select_id`
 method.

---
 web/src/message_lists.ts | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/web/src/message_lists.ts b/web/src/message_lists.ts
index cf6092a841..87728a27bb 100644
--- a/web/src/message_lists.ts
+++ b/web/src/message_lists.ts
@@ -18,6 +18,17 @@ type MessageListView = {
 };
 
 export type RenderInfo = {need_user_to_scroll: boolean};
+
+export type SelectIdOpts = {
+    then_scroll?: boolean;
+    target_scroll_offset?: number;
+    use_closest?: boolean;
+    empty_ok?: boolean;
+    mark_read?: boolean;
+    force_rerender?: boolean;
+    from_scroll?: boolean;
+};
+
 export type MessageList = {
     id: number;
     view: MessageListView;
@@ -30,7 +41,7 @@ export type MessageList = {
     can_mark_messages_read_without_setting: () => boolean;
     resume_reading: () => void;
     data: MessageListData;
-    select_id: (message_id: number) => void;
+    select_id: (message_id: number, opts?: SelectIdOpts) => void;
     get_row: (message_id: number) => JQuery;
     add_messages: (
         messages: Message[],