- From: L. David Baron via GitHub <sysbot+gh@w3.org>
- Date: Thu, 19 May 2022 19:10:07 +0000
- To: public-css-archive@w3.org
@progers Yes, that's the core of the reason to refer to device pixels rather than some other length unit like CSS pixels. However, as you point out in https://github.com/w3c/csswg-drafts/pull/7284#issuecomment-1129354642 , I think this isn't quite right. I've filed #7287 to improve the situation, but I think given current terminology it's probably good enough to continue to refer to device pixels here (as the existing spec text already does). -- GitHub Notification of comment by dbaron Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/7284#issuecomment-1132095657 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 19 May 2022 19:10:09 UTC