- 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