- From: Thomas Steiner <notifications@github.com>
- Date: Fri, 15 Sep 2023 03:34:44 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 15 September 2023 10:34:50 UTC
The current [`NotificationOptions`](https://notifications.spec.whatwg.org/#dictdef-notificationoptions) already include [`badge`](https://notifications.spec.whatwg.org/#dom-notificationoptions-badge). There's a potential confusion with your proposed `appBadge` (camelCased your original `app_badge`, as per my suggestion in https://github.com/w3c/push-api/issues/360#issuecomment-1721039328). I do reckon that `appBadge` is a perfect name given the intended use case, though, so the potential for confusion might just be something to live with. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/360#issuecomment-1721051629 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/issues/360/1721051629@github.com>
Received on Friday, 15 September 2023 10:34:50 UTC