From aa667f8df1c4bd502781d11dc20818aebf5bbbda Mon Sep 17 00:00:00 2001
From: Prakhar Pratyush <prakhar@zulip.com>
Date: Mon, 21 Oct 2024 14:30:26 +0530
Subject: [PATCH] settings_users: Remove the extra 'list_widget.hard_redraw'
 call.

For ListWidget, 'replace_list_data' makes a call to 'hard_redraw'
by default. There is no need to make a separate call to 'hard_redraw'
when using 'replace_list_data'.

In 'settings_users.js', we were making that separate call.
This commit removes that extra unnecesssary call.
---
 web/src/settings_users.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/web/src/settings_users.js b/web/src/settings_users.js
index 4c524e60c6..2d964370cc 100644
--- a/web/src/settings_users.js
+++ b/web/src/settings_users.js
@@ -444,7 +444,6 @@ export function redraw_bots_list() {
     // user IDs to display.
     const bot_user_ids = people.get_bot_ids();
     bot_list_widget.replace_list_data(bot_user_ids);
-    bot_list_widget.hard_redraw();
 }
 
 function redraw_users_list(user_section, user_list) {
@@ -453,7 +452,6 @@ function redraw_users_list(user_section, user_list) {
     }
 
     user_section.list_widget.replace_list_data(user_list);
-    user_section.list_widget.hard_redraw();
 }
 
 export function redraw_deactivated_users_list() {