From f081c4abfd655241283ea755faf923a58417020e Mon Sep 17 00:00:00 2001
From: palashb01 <palash.baderia@outlook.com>
Date: Sat, 4 Mar 2023 17:29:50 +0530
Subject: [PATCH] display_settings: Add fade to emoji-theme & user-list-style
 banners.

Added a 1000ms fadeout timer to the success banners for the 'Emoji'
theme and 'user-list-style' checkbox, to match the other banners in
display settings.

Fixes: #23288.
---
 web/src/settings_display.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/web/src/settings_display.js b/web/src/settings_display.js
index 8696e55d01..843767212b 100644
--- a/web/src/settings_display.js
+++ b/web/src/settings_display.js
@@ -254,6 +254,7 @@ export async function report_emojiset_change(settings_panel) {
         ui_report.success(
             $t_html({defaultMessage: "Emoji set changed successfully!"}),
             $spinner.expectOne(),
+            1000,
         );
         $spinner.expectOne();
         settings_ui.display_checkmark($spinner);
@@ -273,6 +274,7 @@ export async function report_user_list_style_change(settings_panel) {
         ui_report.success(
             $t_html({defaultMessage: "User list style changed successfully!"}),
             $spinner.expectOne(),
+            1000,
         );
         $spinner.expectOne();
         settings_ui.display_checkmark($spinner);