- From: Marcos Cáceres <notifications@github.com>
- Date: Tue, 02 Sep 2025 23:51:56 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 3 September 2025 06:52:00 UTC
@marcoscaceres commented on this pull request.
> @@ -392,14 +392,26 @@ <h3>
</dd>
</dl>
</dd>
+ <dt>
+ <code>app_badge</code>
+ </dt>
+ <dd>
+ <p>
+ A [=/64-bit unsigned integer=].
Just noting that not all platforms support setting a number: for instance, Android allows setting the badge to "flag" (which just shows up as a dot). Some macOS apps do this too (e.g., Slack).
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/402#pullrequestreview-3179182855
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/push-api/pull/402/review/3179182855@github.com>
Received on Wednesday, 3 September 2025 06:52:00 UTC