- From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
- Date: Wed, 04 Sep 2024 15:20:36 +0000
- To: public-css-archive@w3.org
> Do we want to expose the resolution, or just expose the width of a hairline? Are there enough good uses for the resolution that we actually want it, versus just adding a hairline keyword to a few properties? I think exposing the resolution is the least implementation complexity, and the most flexible, since it's property agnostic... E.g., I might want to use padding in order to reserve space for a box-shadow `hairline`... Or I could imagine wanting an nth multiple of hairlines. > (And this also argues against just relying on border-width rounding away from zero to the nearest device pixel, in favor of a hairline keyword that exposes the "correct" width regardless of resolution.) Sure, though this behavior is unlikely to be changeable? It's fairly long-standing in some way or another... -- GitHub Notification of comment by emilio Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3720#issuecomment-2329358905 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 4 September 2024 15:20:37 UTC