- From: Johann Hofmann <notifications@github.com>
- Date: Fri, 18 Nov 2022 02:36:13 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
- Message-ID: <w3c/permissions/pull/390/review/1185857395@github.com>
@johannhof commented on this pull request.
> + </h3>
+ <p>
+ The user agent maintains a single <dfn class="export">global permission store</dfn> which is a list of [=permission store entries=].
+ The user agent removes [=entries=] from the list when their respective [=permission=]'s [=permission/lifetime=] has expired.
+ </p>
+ <p class="issue">
+ We should still allow UAs flexibility in giving out permissions with smaller scope and lifetime (e.g. per-tab) in some form. There should generally still be enough room for exploration here.
+ </p>
+ <p>
+ A <dfn class="export" data-local-lt="entry">permission store entry</dfn> is a [=tuple=] of [=powerful feature/name=] name, [=permission store key=] key, {{PermissionDescriptor}} descriptor, and [=permission/state=] state.
+ </p>
+ <p>
+ To <dfn class="export">get a permission store entry</dfn> from the [=global permission store=] given a |name|, [=permission store key=] key and descriptor, run these steps:
+ <ol class="algorithm">
+ <li>
+ If the [=global permission store=] [=list/contains=] an [=entry=] with the name |name|, the key |key| and the descriptor |descriptor|, return that entry.
PermissionDescriptor is a WebIDL dictionary and might have descendants which are also dictionaries: https://www.w3.org/TR/permissions/#aspects
I would hope/assume that this enables us to compare these?
I wasn't sure whether it's needed for `key` but I can see why it makes sense to have it.
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/390#discussion_r1026274135
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/390/review/1185857395@github.com>
Received on Friday, 18 November 2022 10:36:26 UTC