Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

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.
This commit is contained in:
palashb01 2023-03-04 17:29:50 +05:30 committed by Tim Abbott
parent 189ceee8f0
commit f081c4abfd
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/src/settings_display.js
View File

@ -254,6 +254,7 @@ export async function report_emojiset_change(settings_panel) {
ui_report.success( ui_report.success(
$t_html({defaultMessage: "Emoji set changed successfully!"}), $t_html({defaultMessage: "Emoji set changed successfully!"}),
$spinner.expectOne(), $spinner.expectOne(),
1000,
); );
$spinner.expectOne(); $spinner.expectOne();
settings_ui.display_checkmark($spinner); settings_ui.display_checkmark($spinner);
@ -273,6 +274,7 @@ export async function report_user_list_style_change(settings_panel) {
ui_report.success( ui_report.success(
$t_html({defaultMessage: "User list style changed successfully!"}), $t_html({defaultMessage: "User list style changed successfully!"}),
$spinner.expectOne(), $spinner.expectOne(),
1000,
); );
$spinner.expectOne(); $spinner.expectOne();
settings_ui.display_checkmark($spinner); settings_ui.display_checkmark($spinner);