- 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