mirror of
https://github.com/zulip/zulip.git
synced 2025-11-15 03:11:54 +00:00
message_list: Remove unused preserve_rendered_state attribute.
Aman said we should be running this even if it wasn’t running before. https://github.com/zulip/zulip/pull/31591#pullrequestreview-2300886181
This commit is contained in:
@@ -21,7 +21,6 @@ export type SelectIdOpts = {
|
|||||||
|
|
||||||
export type MessageList = {
|
export type MessageList = {
|
||||||
id: number;
|
id: number;
|
||||||
preserve_rendered_state: boolean;
|
|
||||||
view: MessageListView;
|
view: MessageListView;
|
||||||
is_combined_feed_view: boolean;
|
is_combined_feed_view: boolean;
|
||||||
selected_id: () => number;
|
selected_id: () => number;
|
||||||
|
|||||||
@@ -76,7 +76,7 @@ export function handle_topic_updates(user_topic_event: ServerUserTopic): void {
|
|||||||
setTimeout(() => {
|
setTimeout(() => {
|
||||||
// Defer updates for any background-rendered messages lists until the visible one has been updated.
|
// Defer updates for any background-rendered messages lists until the visible one has been updated.
|
||||||
for (const list of message_lists.all_rendered_message_lists()) {
|
for (const list of message_lists.all_rendered_message_lists()) {
|
||||||
if (list.preserve_rendered_state && message_lists.current !== list) {
|
if (message_lists.current !== list) {
|
||||||
list.update_muting_and_rerender();
|
list.update_muting_and_rerender();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user