- From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
- Date: Thu, 10 Apr 2025 09:56:02 +0000
- To: public-css-archive@w3.org
As we consider to expose device pixel rounding as a function, I think it makes more sense to call it something related to that like `round-to-device-pixels()` (possibly something shorter) instead of `border-round()`. Also, the algorithm to ["snap a length as a border width"](https://drafts.csswg.org/css-values-4/#snap-a-length-as-a-border-width) should be renamed accordingly. Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2792205654 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 10 April 2025 09:56:04 UTC