NEW244179
Background-size incorrectly gets rounded to device pixel 
https://bugs.webkit.org/show_bug.cgi?id=244179
Summary Background-size incorrectly gets rounded to device pixel
Xidorn Quan
Reported 2022-08-21 20:22:04 PDT
Created attachment 461783 [details] testcase See the attached testcase. Expected result: The container is 98x98, and background-size is 12.25x12.25, so it should have just 8x8 dots in the container, and since its position is center, it should have half dots on all edges. Seemingly it's rounding to 12.5px for me. Actual result: The dots on right and bottom are much smaller than half. Both Firefox and Chrome have the right result.
Attachments
testcase (307 bytes, text/html)
2022-08-21 20:22 PDT, Xidorn Quan 		no flags
Details
rendering in Safari, firefox, chrome (39.55 KB, image/png)
2022-08-21 23:52 PDT, Karl Dubost 		no flags
Details
View All Add attachment proposed patch, testcase, etc.
Karl Dubost
Comment 1 2022-08-21 23:52:34 PDT
Created attachment 461791 [details] rendering in Safari, firefox, chrome Rendering in Safari 16.1 Firefox Nightly 105.0a1 Google Chrome Canary 107.0.5253.0
Radar WebKit Bug Importer
Comment 2 2022-08-21 23:53:01 PDT
<rdar://problem/98962915>
Note You need to log in before you can comment on or make changes to this bug.