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.
This commit is contained in:
Prakhar Pratyush
2024-10-21 14:30:26 +05:30
committed by Tim Abbott
parent 8aca0a7776
commit aa667f8df1

View File

@@ -444,7 +444,6 @@ export function redraw_bots_list() {
// user IDs to display. // user IDs to display.
const bot_user_ids = people.get_bot_ids(); const bot_user_ids = people.get_bot_ids();
bot_list_widget.replace_list_data(bot_user_ids); bot_list_widget.replace_list_data(bot_user_ids);
bot_list_widget.hard_redraw();
} }
function redraw_users_list(user_section, user_list) { 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.replace_list_data(user_list);
user_section.list_widget.hard_redraw();
} }
export function redraw_deactivated_users_list() { export function redraw_deactivated_users_list() {