- From: Nick Sherman via GitHub <sysbot+gh@w3.org>
- Date: Wed, 16 Nov 2022 17:44:45 +0000
- To: public-css-archive@w3.org
Yes, at this point (6 years later!) with Webkit's implementation of `font-stretch` now shipping, and especially with Google Fonts now making use of it, we are probably past the point where outright replacement of the name would be practical. But there is still a very strong case for establishing an alias of `font-width` for all the reasons discussed before. -- GitHub Notification of comment by nicksherman Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/551#issuecomment-1317413075 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 16 November 2022 17:44:47 UTC