Bug 246936

Summary: HTML Parser: Update formatting element list bookmarks on element removal
Product: WebKit Reporter: Claudio Saavedra <csaavedra>
Component: WebCore Misc.Assignee: Claudio Saavedra <csaavedra>
Status: RESOLVED FIXED    
Severity: Normal CC: cdumez, changseok, esprehn+autocc, ews-watchlist, gyuyoung.kim, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch none

Description Claudio Saavedra 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.
Comment 1 Claudio Saavedra 2022-10-24 01:53:15 PDT 
Created attachment 463190 [details]
Patch
Comment 2 EWS 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].
Comment 3 Radar WebKit Bug Importer 2022-10-24 03:12:19 PDT 
<rdar://problem/101493355>