Skip to content

Commit

Permalink
fix types
Browse files Browse the repository at this point in the history
	# Please enter the commit message for your changes. Lines starting
	# with '#' will be ignored, and an empty message aborts the commit.
	#
	# Date:      Mon Nov 27 17:15:45 2023 +0100
	#
	# On branch orkon/partitions
	# Your branch is up to date with 'origin/orkon/partitions'.
	#
	# Changes to be committed:
	#	modified:   index.bs
	#
  • Loading branch information
OrKoN committed Nov 28, 2023
1 parent 4fb44cf commit 57acfff
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -1231,10 +1231,10 @@ Issue: Define how this works.

# User Contexts # {#user-contexts}

A <dfn>user context</dfn> represents a collection of top-level navigables within a
A <dfn>user context</dfn> represents a collection of top-level navigables within a
[=remote end=]. Each top-level navigable belongs to exactly one user context, and child
navigables belong to the same user context as their parent. A [=user context=] without
navigables belonging to it is an <dfn>empty user context</dfn>.
navigables belonging to it is an <dfn>empty user context</dfn>.

A [=remote end=] always contains one [=user context=] referred as the <dfn>default user
context</dfn>.
Expand All @@ -1244,7 +1244,7 @@ state is shared between different user contexts.

User contexts other than the [=default user context=] have a <dfn>user context
id</dfn>, which is a string set upon context creation. The [=default user
context=]'s does not have a [=user context id=].
context=]'s does not have a [=user context id=].

Note: the infra spec uses the term "user agent" to refer to the same concept as
user contexts. However this is not compatible with usage of the term "user
Expand Down Expand Up @@ -1827,9 +1827,9 @@ managing the remote end browser process.
<pre class="cddl remote-cddl">
BrowserCommand = (
browser.Close,
browser.createUserContext,
browser.closeUserContext,
browser.getUserContexts,
browser.CreateUserContext,
browser.CloseUserContext,
browser.GetUserContexts,
)
</pre>

Expand Down Expand Up @@ -2926,15 +2926,15 @@ The [=remote end steps=] with |command parameters| are:
reason then return [=error=] with [=error code=] [=unsupported operation=].

1. Let |user context| be the [=default user context=].

1. If |command parameters|[<code>userContext</code>] is present and is not null:

1. Let |user context id| be |command parameters|[<code>userContext</code>].

1. If the [=user context=] with the [=user context id=] equal to |user context id| does
not exist in the user agent, return [=error=] with [=error code=] [=invalid argument=].

1. Set |user context| to the [=user context=] with the [=user context id=] equal
1. Set |user context| to the [=user context=] with the [=user context id=] equal
to |user context id|.

<!-- This is based on step 5 of https://w3c.github.io/webdriver/#new-window,
Expand Down

0 comments on commit 57acfff

Please sign in to comment.