- From: Guillaume via GitHub <sysbot+gh@w3.org>
- Date: Mon, 28 Aug 2023 06:35:33 +0000
- To: public-css-archive@w3.org
cdoublev has just created a new issue for https://github.com/w3c/csswg-drafts: == [css-borders-4] Rename `border-clip-<side>` to `border-<side>-clip`? == I am not sure there is a pressing need to stabilize and implement `border-clip` but the naming of its longhands seems inconsistent with other `border` properties: - `border-top-color` - `border-top-radius` - `border-top-style` - `border-top-width` - ... - `border-clip-top` Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9252 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 28 August 2023 06:35:36 UTC