From 02c5e5cf36434f04139e282158297393cbcf3aa8 Mon Sep 17 00:00:00 2001 From: Thiago Perrotta Date: Mon, 6 Nov 2023 11:32:13 +0100 Subject: [PATCH 1/2] editorial: properly capitalize module name --- index.bs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.bs b/index.bs index 07c4aed63..c966df8fc 100644 --- a/index.bs +++ b/index.bs @@ -9243,7 +9243,7 @@ The [=remote end subscribe steps=], with [=subscribe priority=] 10, given -## The Input Module ## {#module-input} +## The input Module ## {#module-input} The input module contains functionality for simulated user input. From 8298bc5df1ed952e8c2d4d04e11335a42385818c Mon Sep 17 00:00:00 2001 From: Thiago Perrotta Date: Thu, 16 Nov 2023 11:51:31 +0100 Subject: [PATCH 2/2] remove trailing whitespace --- index.bs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.bs b/index.bs index c966df8fc..59e919b55 100644 --- a/index.bs +++ b/index.bs @@ -6530,7 +6530,7 @@ strong [=/map=] from handle ids to their corresponding objects. script.InternalId = text; -The script.InternalId type represents the id of +The script.InternalId type represents the id of a previously serialized script.RemoteValue during [=serialize as a remote value|serialization=]. @@ -7526,7 +7526,7 @@ To set internal ids if needed given |serialization internal map|, 1. If |previously serialized remote value| does not have a field internalId, run the following steps: - 1. Let |internal id| be the string representation of a [[!RFC4122|UUID]] + 1. Let |internal id| be the string representation of a [[!RFC4122|UUID]] based on truly random, or pseudo-random numbers. 1. Set the internalId field of