- From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
- Date: Mon, 16 Nov 2020 21:53:10 +0000
- To: public-css-archive@w3.org
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-config
Received on Monday, 16 November 2020 21:53:11 UTC