From 7d225cb118bb7221603dfb8766e6559ae45e9879 Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Fri, 25 Nov 2022 15:26:00 +1300 Subject: [PATCH 1/2] Define and improve use of permissions task source --- index.html | 22 ++++++++++++++++------ 1 file changed, 16 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index 79a7308..dcc9157 100644 --- a/index.html +++ b/index.html @@ -362,6 +362,15 @@

+
+

+ Permissions task source +

+

+ The permissions task source is a [=task source=] used to + perform permissions-related [=tasks=] in this specification. +

+

@@ -827,9 +836,9 @@

  • If the conversion [=exception/throws=] an [=exception=], return a promise rejected with that exception.
  • -
  • Let promise be [=a new promise=]. +
  • Let |promise:Promise| be [=a new promise=].
  • -
  • Return promise and continue [=in parallel=]: +
  • Return |promise| and continue [=in parallel=]:
    1. Let |status| be create a `PermissionStatus` with |typedDescriptor|.
    2. @@ -838,7 +847,8 @@

    3. Run |query|'s {{PermissionDescriptor/name}}'s [=powerful feature/permission query algorithm=], passing |query| and |status|.
    4. -
    5. [=Resolve=] promise with |status|. +
    6. [=Queue a global task=] on the [=permissions task source=] with [=this=]'s + [=relevant global object=] to [=resolve=] |promise| with |status|.
  • @@ -946,8 +956,8 @@

    algorithm=], passing |query| and |status|.
  • - Queue a task on the permissions task source to - fire an event named change at |status|. + Queue a task on the [=permissions task source=] to fire an event named + change at |status|.
  • @@ -1092,7 +1102,7 @@

  • For each environment settings object |target| in |targets|:
    1. - Queue a task |task| on the permissions task source of |target|'s + Queue a task |task| on the [=permissions task source=] of |target|'s [=relevant settings object=]'s [=environment settings object/global object=]'s [=Window/browsing context=] to perform the following step:
        From 50f1d855b08bf34aed143027397733a25061c442 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcos=20C=C3=A1ceres?= Date: Thu, 8 Dec 2022 12:03:26 +1100 Subject: [PATCH 2/2] Update index.html --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index dcc9157..acd0919 100644 --- a/index.html +++ b/index.html @@ -367,7 +367,7 @@

        Permissions task source

        - The permissions task source is a [=task source=] used to + The permissions task source is a [=task source=] used to perform permissions-related [=tasks=] in this specification.