[webkit-changes] [WebKit/WebKit] a2e027: HTML Parser: Update formatting element list bookma...

[Claudio Saavedra]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: a2e027e92c7b91eeabcb6bd5e81ced26afa64cc0
      https://github.com/WebKit/WebKit/commit/a2e027e92c7b91eeabcb6bd5e81ced26afa64cc0
  Author: Claudio Saavedra <csaavedra at igalia.com>
  Date:   2022-10-24 (Mon, 24 Oct 2022)

  Changed paths:
    M Source/WebCore/html/parser/HTMLFormattingElementList.cpp
    M Source/WebCore/html/parser/HTMLFormattingElementList.h
    M Source/WebCore/html/parser/HTMLTreeBuilder.cpp

  Log Message:
  -----------
  HTML Parser: Update formatting element list bookmarks on element removal
https://bugs.webkit.org/show_bug.cgi?id=246936

Reviewed by Ryosuke Niwa.

When elements are removed from the formatting element list, the position
in the list of the element bookmarked might change, so make sure that
bookmarks are updated when needed.

* Source/WebCore/html/parser/HTMLFormattingElementList.cpp:
(WebCore::HTMLFormattingElementList::removeUpdatingBookmark):
* Source/WebCore/html/parser/HTMLFormattingElementList.h:
* Source/WebCore/html/parser/HTMLTreeBuilder.cpp:
(WebCore::HTMLTreeBuilder::callTheAdoptionAgency):

Canonical link: https://commits.webkit.org/255907@main