search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Properly define the pushsubscriptionchange event #234

Closed beverloo closed 7 years ago

beverloo commented 7 years ago

This is a first attempt at #228 and related issues. An online preview is available.

I added a few inline issues because iteration will be necessary - more things will have to be split out in algorithms. I think that coincidentally improves clarity, so I plan to model the push event after pushsubscriptionchange, but will do that in a separate PR.

WDYT?

Closes #228, #193, #132, #120, #61.

ghost commented 7 years ago

Sorry for the delay. Modulo a couple of questions, this LGTM!