RESOLVED FIXED269529
Add timer for repainting document markers. 
https://bugs.webkit.org/show_bug.cgi?id=269529
Summary Add timer for repainting document markers.
Megan Gardner
Reported 2024-02-15 17:06:53 PST
Add timer for repainting document markers.
Attachments
Add attachment proposed patch, testcase, etc.
Megan Gardner
Comment 1 2024-02-15 17:07:03 PST
<rdar://problem/123048192>
Megan Gardner
Comment 2 2024-02-15 17:10:42 PST
Pull request: https://github.com/WebKit/WebKit/pull/24564
EWS
Comment 3 2024-02-17 01:56:37 PST
Committed 274914@main (69228c8b8bcb): <https://commits.webkit.org/274914@main> Reviewed commits have been landed. Closing PR #24564 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.