Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: a2e027e92c7b91eeabcb6bd5e81ced26afa64cc0
https://github.com/WebKit/WebKit/commit/a2e027e92c7b91eeabcb6bd5e81ced26afa64cc0
Author: Claudio Saavedra <[email protected]>
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
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
