- 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