- From: L. David Baron via GitHub <sysbot+gh@w3.org>
- Date: Wed, 19 Jul 2023 16:28:07 +0000
- To: public-css-archive@w3.org
Two possible names for such a pseudo-element might be `::all-highlights` or `::any-highlight`, though I'm sure there are other options. -- GitHub Notification of comment by dbaron Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9091#issuecomment-1642398997 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 19 July 2023 16:28:09 UTC