- From: Alex Rudenko <notifications@github.com>
- Date: Tue, 14 Nov 2023 23:16:03 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 15 November 2023 07:16:08 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"> So looks like the bidi steps 6 to 10 and classic steps 5 to 9 are the same and could be extracted into an algorithm -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/425#discussion_r1393746900 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/425/review/1731374787@github.com>
Received on Wednesday, 15 November 2023 07:16:08 UTC