From b5b44c811814c040008853a793b471a1e597e757 Mon Sep 17 00:00:00 2001 From: David Awogbemila Date: Thu, 14 Nov 2024 10:00:43 -0500 Subject: [PATCH] Fix indentation; improve references & links --- source | 24 +++++++++++++++--------- 1 file changed, 15 insertions(+), 9 deletions(-) diff --git a/source b/source index 75828949bda..77279073595 100644 --- a/source +++ b/source @@ -4056,6 +4056,8 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
  • The scroll event
  • The scrollend event
  • set up browsing context features
    • +
  • The term perform a scroll
    • +
  • The term scrolling box

    • The following features and terms are defined in CSS Syntax: @@ -103883,22 +103885,26 @@ location.href = '#foo';

    To update the initial scroll positions for scroll containers in a - Document document, - perform the following steps:

    + Document document:

      -

    1. Let scrollers be the list of all - scroll containers within document.

      2. +

    2. Let scrollers be a list of all + scroll containers of document.

    3. -

      For each scroller in scrollers:

      +

      For each scroller of scrollers: +

      +

      1. If the user agent has reason to believe the user is no longer interested in scrolling - to scroller's initial scroll - position, then abort these steps.

        2. + to scroller's initial scroll position + , then abort these steps.

        + +

      2. Let position be the initial scroll + position of scroller.

        3. -

      3. Update scroller's initial scroll - position and scroll scroller to it.

        4. +

      4. Perform a scroll of scroller's scrolling box to position.