- From: Greg Whitworth via GitHub <sysbot+gh@w3.org>
- Date: Fri, 25 Jan 2019 18:46:05 +0000
- To: public-css-archive@w3.org
We discussed this today and we decided the following: `device-pixel-border-box size` is just another word for `border-box` but for the canvas element when in a WebGL context for reporting device pixels since they can't be rounded. In order to keep the API clean, we're recommending removing this as a value and just doing the right thing for canvas by reporting the device pixels alongside the CSS pixels under new properties. -- GitHub Notification of comment by gregwhitworth Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3554#issuecomment-457679328 using your GitHub account
Received on Friday, 25 January 2019 18:46:06 UTC