W3C home > Mailing lists > Public > public-css-archive@w3.org > June 2020

[csswg-drafts] [css2?] Define when border rounding happens, and to which properties it applies (#5210)

From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
Date: Sun, 14 Jun 2020 09:28:02 +0000
To: public-css-archive@w3.org
Message-ID: <issues.opened-638316615-1592126880-sysbot+gh@w3.org>
emilio has just created a new issue for https://github.com/w3c/csswg-drafts:

== [css2?] Define when border rounding happens, and to which properties it applies ==
See https://crisal.io/words/2020/06/13/rounding-borders.html

At least the rounding up to device pixels happens consistently at computed value time:

 * https://searchfox.org/mozilla-central/rev/20ad814e4cc3d5eb3e33ccec6ed2b17255205aca/servo/components/style/gecko/values.rs#40
 * https://webkit-search.igalia.com/webkit/rev/357f5ddb37eef4235a7ca33367f9833b4204705e/Source/WebCore/style/StyleBuilderConverter.h#297
 * https://source.chromium.org/chromium/chromium/src/+/master:third_party/blink/renderer/core/css/resolver/style_builder_converter.cc;l=1077;drc=6993ed8e5cdcfbae4e5ff7891ddfb4de128dd846

Shipping Gecko and WebKit (my post was wrong, Blink and WebKit diverge, will fix) also floor to dev pixels at computed value time. Blink floors at rendering time, which I think is more unfortunate.

Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5210 using your GitHub account
Received on Sunday, 14 June 2020 09:28:03 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:42:09 UTC