Meta: export a user agent's top-level traversable set

Needed by the Notifications API: whatwg/notifications#213.
whatwg · Oct 22, 2024 · 3ca12ab · 3ca12ab
1 parent 19faae7
commit 3ca12ab
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/source b/source
@@ -96843,9 +96843,9 @@ interface <dfn interface>NotRestoredReasons</dfn> {
   are <span data-x="top-level traversable">top-level traversables</span>. Future proposals envision
   introducing non-top-level traversables.</p>
 
-  <p>A user agent holds a <dfn>top-level traversable set</dfn> (a <span>set</span> of <span
-  data-x="top-level traversable">top-level traversables</span>). These are typically presented to
-  the user in the form of browser windows or browser tabs.</p>
+  <p>A user agent holds a <dfn export for="user agent">top-level traversable set</dfn> (a
+  <span>set</span> of <span data-x="top-level traversable">top-level traversables</span>). These are
+  typically presented to the user in the form of browser windows or browser tabs.</p>
 
   <p>To get the <dfn export for="navigable" data-x="nav-top">top-level traversable</dfn> of a
   <span>navigable</span> <var>inputNavigable</var>:</p>