- From: Lea Verou via GitHub <sysbot+gh@w3.org>
- Date: Mon, 28 Aug 2023 19:22:21 +0000
- To: public-css-archive@w3.org
Yeah, that sounds like a bug with the Highlight API that we should fix; definitely not a reason to design a whole other API. -- GitHub Notification of comment by LeaVerou Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9247#issuecomment-1696246093 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 19:22:24 UTC