From aecba99132f59f44a136838a4182e13109d9d3dc Mon Sep 17 00:00:00 2001 From: Karl Stolley Date: Thu, 22 May 2025 12:18:16 -0500 Subject: [PATCH] settings: Rename banner function to reference desktop. --- web/src/settings_notifications.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/web/src/settings_notifications.ts b/web/src/settings_notifications.ts index fc3ff8c128..05ffca5c4c 100644 --- a/web/src/settings_notifications.ts +++ b/web/src/settings_notifications.ts @@ -85,10 +85,10 @@ function rerender_ui(): void { } else { $unmatched_streams_table.css("display", "table-row-group"); } - update_notification_banner(); + update_desktop_notification_banner(); } -function update_notification_banner(): void { +function update_desktop_notification_banner(): void { // As is also noted in `navbar_alerts.ts`, notifications *basically* // don't work on any mobile platforms, so don't event show the banners. // This prevents trying to access things that don't exist, like @@ -389,7 +389,7 @@ export function set_up(settings_panel: SettingsPanel): void { // not shown in a mobile context anyway. void Notification.requestPermission().then((permission) => { if (permission === "granted") { - update_notification_banner(); + update_desktop_notification_banner(); } else if (permission === "denied") { window.open( "/help/desktop-notifications#check-platform-settings",