Re: [w3c/push-api] Allow firing pushsubscriptionchange on all permission changes (PR #400)

@antosart commented on this pull request.



> @@ -342,6 +342,16 @@ <h2>
           `{name: "push", userVisibleOnly: false}` is [=PermissionDescriptor/stronger than=]
           `{name: "push", userVisibleOnly: true}`.
         </p>
+        <p>
+          When the permission state changes (for example, it is revoked or re-granted), the <a>user

I added a note below, clarifying why it can make sense to leave this up to the implementor.

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

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