RESOLVED FIXED246936
HTML Parser: Update formatting element list bookmarks on element removal 
https://bugs.webkit.org/show_bug.cgi?id=246936
Summary HTML Parser: Update formatting element list bookmarks on element removal
Claudio Saavedra
Reported 2022-10-24 01:51:06 PDT
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.
Attachments
Patch (3.75 KB, patch)
2022-10-24 01:53 PDT, Claudio Saavedra 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Claudio Saavedra
Comment 1 2022-10-24 01:53:15 PDT
Created attachment 463190 [details] Patch
EWS
Comment 2 2022-10-24 03:11:29 PDT
Committed 255907@main (a2e027e92c7b): <https://commits.webkit.org/255907@main> All reviewed patches have been landed. Closing bug and clearing flags on attachment 463190 [details].
Radar WebKit Bug Importer
Comment 3 2022-10-24 03:12:19 PDT
<rdar://problem/101493355>
Note You need to log in before you can comment on or make changes to this bug.