We generally don't expose actual device pixels in APIs, I'd think (but you could compute the device pixel width by multiplying by `devicePixelRatio`...) -- GitHub Notification of comment by emilio Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5260#issuecomment-728351329 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Monday, 16 November 2020 21:53:11 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:42:22 UTC