From d35a4f9ecfa57a7e29237bd5bce358bbed07aa8f Mon Sep 17 00:00:00 2001 From: Garrett Tanzer Date: Thu, 18 May 2023 20:39:03 +0000 Subject: [PATCH 1/2] add on navigate callback --- spec.bs | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/spec.bs b/spec.bs index e60c0b33..fdb5f096 100644 --- a/spec.bs +++ b/spec.bs @@ -556,6 +556,8 @@ An interest group descriptor is a struct w :: a [=string=] +An on navigate callback is a TODO. + An exhaustive set of sandbox flags is a [=sandboxing flag set=]. @@ -760,6 +762,9 @@ A fenced frame config is a struct with the following [=struct/ : visibility :: a [=visibility=] + : on navigate callback + :: null, or an [=fencedframetype/on navigate callback=] + : effective sandbox flags :: null, or a struct with the following fields: : value @@ -833,6 +838,9 @@ A fenced frame config instance is a struct with the following : interest group descriptor :: null, or an [=fencedframetype/interest group descriptor=] + : on navigate callback + :: null, or an [=fencedframetype/on navigate callback=] + : effective sandbox flags :: null, or an [=fencedframetype/exhaustive set of sandbox flags=] @@ -864,7 +872,7 @@ A fenced frame config instance is a struct with the following :: |config|'s [=fenced frame config/mapped url=]'s [=mapped url/value=] : [=fenced frame config instance/container size=] - :: |config|'s [=fenced frame config/container size=] if null + :: |config|'s [=fenced frame config/container size=] : [=fenced frame config instance/content size=] :: |config|'s [=fenced frame config/content size=] if null, otherwise |config|'s [=fenced frame @@ -874,6 +882,9 @@ A fenced frame config instance is a struct with the following :: |config|'s [=fenced frame config/interest group descriptor=] if null, otherwise |config|'s [=fenced frame config/interest group descriptor=]'s [=interest group descriptor/value=] + : [=fenced frame config instance/on navigate callback=] + :: |config|'s [=fenced frame config/on navigate callback=] + : [=fenced frame config instance/effective sandbox flags=] :: |config|'s [=fenced frame config/effective sandbox flags=] if null, otherwise |config|'s [=fenced frame config/effective sandbox flags=]'s [=effective sandbox flags/value=] @@ -1665,6 +1676,8 @@ the fenced frame boundary, which is a privacy leak. To avoid this, we effectivel This section describes how the <{fencedframe}> element interacts with the ever-complicated process of navigation, which includes integration with various headers, isolation mechanisms, and policies. +TODO: Describe how the [=fenced frame config instance=] is carried along the navigation request and is stored upon navigation commit, along with running the [=fenced frame config instance/on navigate callback=]. +

The \`Supports-Loading-Mode\` HTTP response header

Add the new [=structured header/token=] below to the list of valid [=structured header/tokens=] for the \` Date: Mon, 22 May 2023 17:38:14 +0000 Subject: [PATCH 2/2] update definition of on navigate callback --- spec.bs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/spec.bs b/spec.bs index fdb5f096..ec09925d 100644 --- a/spec.bs +++ b/spec.bs @@ -556,8 +556,6 @@ An interest group descriptor is a struct w :: a [=string=] -An on navigate callback is a TODO. - An exhaustive set of sandbox flags is a [=sandboxing flag set=]. @@ -763,7 +761,7 @@ A fenced frame config is a struct with the following [=struct/ :: a [=visibility=] : on navigate callback - :: null, or an [=fencedframetype/on navigate callback=] + :: null, or a series of steps : effective sandbox flags :: null, or a struct with the following fields: @@ -839,7 +837,7 @@ A fenced frame config instance is a struct with the following :: null, or an [=fencedframetype/interest group descriptor=] : on navigate callback - :: null, or an [=fencedframetype/on navigate callback=] + :: null, or a series of steps : effective sandbox flags :: null, or an [=fencedframetype/exhaustive set of sandbox flags=]