- From: Alex Rudenko <notifications@github.com>
- Date: Tue, 07 Nov 2023 02:16:34 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 7 November 2023 10:16:39 UTC
@OrKoN commented on this pull request. > + browser.SetPermissionParameters = { + descriptor: browser.PermissionDescriptor, + state: browser.PermissionState, + ? context: browsingContext.BrowsingContext, + ? origin: text, + } + </pre> + </dd> + <dt>Result Type</dt> + <dd> + <pre class="cddl"> + EmptyResult + </pre> + </dd> + </dl> + <div algorithm="remote end steps for permissions.setPermission"> would it make sense to extract the common algorithm for actually setting the permissions? we probably do not want to just duplicate the setting steps -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/425#pullrequestreview-1717324300 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/425/review/1717324300@github.com>
Received on Tuesday, 7 November 2023 10:16:39 UTC