- From: Scott Kellum via GitHub <sysbot+gh@w3.org>
- Date: Fri, 10 Feb 2023 21:14:42 +0000
- To: public-css-archive@w3.org
👍 renaming `leading-trim` and 👍 @jantimon’s `text-box` proposal above. This solves much of the confusion with the term `leading`. I have been confused with the term leading here as this trims into the em box, not just the leading. Additionally design software and historical letterpress typesetting often use the term leading in conflicting ways. In my opinion, the term `leading` is best to avoided where possible. -- GitHub Notification of comment by scottkellum Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8067#issuecomment-1426355284 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 10 February 2023 21:14:43 UTC