mirror of https://github.com/zulip/zulip.git
message_list_view: Use more specific type for message_id_to_focus.
This commit is contained in:
parent
93d8db11bf
commit
0c4186d91f
|
@ -336,10 +336,16 @@ function get_users_for_recipient_row(message: Message): RecipientRowUser[] {
|
||||||
return users.sort(compare_by_name);
|
return users.sort(compare_by_name);
|
||||||
}
|
}
|
||||||
|
|
||||||
let message_id_to_focus_after_processing_message_events: {
|
let message_id_to_focus_after_processing_message_events:
|
||||||
id: number | undefined;
|
| {
|
||||||
selectionStart: number | undefined;
|
id: number;
|
||||||
selectionEnd: number | undefined;
|
selectionStart: number;
|
||||||
|
selectionEnd: number;
|
||||||
|
}
|
||||||
|
| {
|
||||||
|
id: undefined;
|
||||||
|
selectionStart: undefined;
|
||||||
|
selectionEnd: undefined;
|
||||||
} = {
|
} = {
|
||||||
id: undefined,
|
id: undefined,
|
||||||
selectionStart: undefined,
|
selectionStart: undefined,
|
||||||
|
|
Loading…
Reference in New Issue