RESOLVED FIXED 218013
Un-needed casts in Screen::{width,height}() 
https://bugs.webkit.org/show_bug.cgi?id=218013
Summary Un-needed casts in Screen::{width,height}()
Philippe Normand
Reported 2020-10-21 02:35:40 PDT
Follow-up from https://bugs.webkit.org/show_bug.cgi?id=213242
Attachments
Patch (2.00 KB, patch)
2020-10-21 02:40 PDT, Philippe Normand 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Philippe Normand
Comment 1 2020-10-21 02:40:34 PDT
Created attachment 411968 [details] Patch
EWS
Comment 2 2020-10-21 09:16:02 PDT
Committed r268797: <https://trac.webkit.org/changeset/268797> All reviewed patches have been landed. Closing bug and clearing flags on attachment 411968 [details].
Radar WebKit Bug Importer
Comment 3 2020-10-21 09:17:23 PDT
<rdar://problem/70531724>
Note You need to log in before you can comment on or make changes to this bug.