Re: [push-api] Expose options (#187)

>            <a>push subscription</a>. The <a>user agent</a> MAY consider these options when
>            requesting <a>express permission</a> from the user. When an option is considered, the
>            <a>user agent</a> SHOULD enforce it on incoming <a>push messages</a>.
>          </p>
> -        <dl title="dictionary PushSubscriptionOptions" class="idl">
> +        <p>
> +          Once set, options for a <a>push subscription</a> cannot change. A pre-existing <a>push
> +          subscription</a> can be <a href=
> +          "#widl-PushSubscription-unsubscribe-Promise-boolean">unsubscribed</a> to create a <a>push
> +          subscription</a> with new options.
> +        </p>
> +        <dl title="dictionary PushSubscriptionOptionsDict" class="idl" data-merge=

PushSubscriptionInit? PushSubscribeOptions? I'd love to find a way to get rid of the *Dict suffix.

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