buddy_list: Make insert_or_move a bulk operation.

web/src/activity_ui.ts

@@ -92,12 +92,7 @@ export function redraw_user(user_id: number): void {
         return;
     }
 
-    const info = buddy_data.get_item(user_id);
+    buddy_list.insert_or_move([user_id]);
-
-    buddy_list.insert_or_move({
-        user_id,
-        item: info,
-    });
     update_presence_indicators();
 }
 

web/src/buddy_data.ts

@@ -319,11 +319,6 @@ export function get_title_data(user_ids_string: string, is_group: boolean): Titl
     };
 }
 
-export function get_item(user_id: number): BuddyUserInfo {
-    const info = info_for(user_id);
-    return info;
-}
-
 export function get_items_for_users(user_ids: number[]): BuddyUserInfo[] {
     const user_info = user_ids.map((user_id) => info_for(user_id));
     return user_info;

web/src/buddy_list.ts

@@ -928,52 +928,58 @@ export class BuddyList extends BuddyListConf {
         this.update_padding();
     }
 
-    insert_or_move(opts: {user_id: number; item: BuddyUserInfo}): void {
+    insert_or_move(user_ids: number[]): void {
-        const user_id = opts.user_id;
+        // TODO: Further optimize this function by clubbing DOM updates from
-        const item = opts.item;
+        // multiple insertions/movements into a single update.
 
-        this.maybe_remove_user_id({user_id});
+        const all_participant_ids = this.render_data.all_participant_ids;
+        const users = buddy_data.get_items_for_users(user_ids);
+        for (const user of users) {
+            const user_id = user.user_id;
 
-        const new_pos_in_all_users = this.find_position({
+            this.maybe_remove_user_id({user_id});
-            user_id,
-            user_id_list: this.all_user_ids,
-        });
 
-        const current_sub = narrow_state.stream_sub();
+            const new_pos_in_all_users = this.find_position({
-        const pm_ids_set = narrow_state.pm_ids_set();
+                user_id,
-        const is_subscribed_user = buddy_data.user_matches_narrow(
+                user_id_list: this.all_user_ids,
-            user_id,
+            });
-            pm_ids_set,
+
-            current_sub?.stream_id,
+            const current_sub = narrow_state.stream_sub();
-        );
+            const pm_ids_set = narrow_state.pm_ids_set();
-        let user_id_list;
+            const is_subscribed_user = buddy_data.user_matches_narrow(
-        if (this.render_data.all_participant_ids.has(user_id)) {
+                user_id,
-            user_id_list = this.participant_user_ids;
+                pm_ids_set,
-        } else if (is_subscribed_user) {
+                current_sub?.stream_id,
-            user_id_list = this.users_matching_view_ids;
+            );
-        } else {
+            let user_id_list;
-            user_id_list = this.other_user_ids;
+            if (all_participant_ids.has(user_id)) {
+                user_id_list = this.participant_user_ids;
+            } else if (is_subscribed_user) {
+                user_id_list = this.users_matching_view_ids;
+            } else {
+                user_id_list = this.other_user_ids;
+            }
+            const new_pos_in_user_list = this.find_position({
+                user_id,
+                user_id_list,
+            });
+
+            // Order is important here--get the new_user_id
+            // before mutating our list.  An undefined value
+            // corresponds to appending.
+            const new_user_id = user_id_list[new_pos_in_user_list];
+
+            user_id_list.splice(new_pos_in_user_list, 0, user_id);
+            this.all_user_ids.splice(new_pos_in_all_users, 0, user_id);
+
+            const html = this.item_to_html({item: user});
+            this.insert_new_html({
+                html,
+                new_user_id,
+                is_subscribed_user,
+                is_participant_user: all_participant_ids.has(user_id),
+            });
         }
-        const new_pos_in_user_list = this.find_position({
-            user_id,
-            user_id_list,
-        });
-
-        // Order is important here--get the new_user_id
-        // before mutating our list.  An undefined value
-        // corresponds to appending.
-        const new_user_id = user_id_list[new_pos_in_user_list];
-
-        user_id_list.splice(new_pos_in_user_list, 0, user_id);
-        this.all_user_ids.splice(new_pos_in_all_users, 0, user_id);
-
-        const html = this.item_to_html({item});
-        this.insert_new_html({
-            html,
-            new_user_id,
-            is_subscribed_user,
-            is_participant_user: this.render_data.all_participant_ids.has(user_id),
-        });
     }
 
     fill_screen_with_content(): void {