- From: pyoor via GitHub <sysbot+gh@w3.org>
- Date: Tue, 17 Oct 2023 19:52:19 +0000
- To: public-css-archive@w3.org
pyoor has just created a new issue for https://github.com/w3c/csswg-drafts: == [css-highlight-api-1] Use custom-ident instead of custom-highlight-name == Is there a reason this syntax defines a new terminal type of `custom-highlight-name` rather than `custom-ident`? https://github.com/w3c/csswg-drafts/blob/4a0f2e33b941b05268760f052fcd934218bbbd6b/css-highlight-api-1/Overview.bs#L307 Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9483 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 17 October 2023 19:52:22 UTC