Re: [w3c/push-api] Add app badge to Declarative Web Push (PR #402)

@annevk 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=].

So you're saying that even platforms that do render a number, can also render just the badge without the number? In that case we'd indeed need to support that separate state. We could perhaps allow passing undefined or null for that? Bit finicky, I'll admit.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/402#discussion_r2332533690
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/pull/402/review/3200123716@github.com>