WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
217205
Rename repaint to repaintSelection in HighlightData for clarity
https://bugs.webkit.org/show_bug.cgi?id=217205
Summary
Rename repaint to repaintSelection in HighlightData for clarity
Megan Gardner
Reported
2020-10-01 19:28:03 PDT
Rename repaint in HighlightData for clarity
Attachments
Patch
(2.89 KB, patch)
2020-10-01 19:29 PDT
,
Megan Gardner
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Megan Gardner
Comment 1
2020-10-01 19:29:38 PDT
Created
attachment 410301
[details]
Patch
EWS
Comment 2
2020-10-02 08:48:21 PDT
Committed
r267881
: <
https://trac.webkit.org/changeset/267881
> All reviewed patches have been landed. Closing bug and clearing flags on
attachment 410301
[details]
.
Radar WebKit Bug Importer
Comment 3
2020-10-02 08:50:37 PDT
<
rdar://problem/69882236
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug