- From: Marcos Cáceres <notifications@github.com>
- Date: Wed, 13 Oct 2021 03:43:01 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 13 October 2021 10:43:13 UTC
@marcoscaceres commented on this pull request. > - interface or host device platform features, via which the user approves the use of the - Push API by the web application. + The Push API is a [=powerful feature=], requiring [=express permission=] to be used. + </p> + <p> + For integration with the [[[Permissions]]] specification, this specification defines the + {{PushPermissionDescriptor}} [=powerful feature/permission descriptor type=]. + </p> + <pre class="idl"> + dictionary PushPermissionDescriptor : PermissionDescriptor { + boolean userVisibleOnly = false; + }; + </pre> + <p data-dfn-for="PushPermissionDescriptor"> + The <dfn>userVisibleOnly</dfn> member has the same semantics as + {{PushSubscriptionOptionsInit/userVisibleOnly}}. ```suggestion {{PushSubscriptionOptionsInit}}'s {{PushSubscriptionOptionsInit/userVisibleOnly}} member. ``` -- 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/341#pullrequestreview-778398273
Received on Wednesday, 13 October 2021 10:43:13 UTC