- From: fantasai via GitHub <sysbot+gh@w3.org>
- Date: Tue, 28 Feb 2023 22:33:24 +0000
- To: public-css-archive@w3.org
My personal take is that from both the author's and user's perspective, yes, these should be copied: we're fixing up the source, which doesn't have the correct spacing characters or has excess spacing characters, to match the intended text stream, so it would be useful if the copied text represented that intended text stream rather than its sloppy source. (This is different from `text-transform`, which is a stylistic decision that can vary depending on the desired presentation of a single source text. The source text in that case is the truest representation of the content, and we're effectively borrowing glyphs from a different case to effect a particular rendering style.) -- GitHub Notification of comment by fantasai Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8511#issuecomment-1449030171 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 28 February 2023 22:33:25 UTC