Re: [csswg-drafts] [scroll-animations-1] Require <dashed-ident> for timeline names (#8746) from Bramus! via GitHub on 2023-04-24 (public-css-archive@w3.org from April 2023)

From: Bramus! via GitHub <sysbot+gh@w3.org>
Date: Mon, 24 Apr 2023 08:48:45 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-1519646651-1682326124-sysbot+gh@w3.org>

I don’t see the exact need _right now_. `<custom-ident>` is used for a lot of name-giving-things; AFAIK only CSS Anchor Positioning requires a `<dashed-ident>` for the name.

That said, also not opposed to `<dashed-ident>` as it keeps things open syntax-wise. @tabatkins: As you raised this, is the intention here to use `<dashed-ident>` for name-things across all upcoming/future specs from now on?

Curious to hear what @fantasai, @flackr, and @ydaniv think about this.

-- 
GitHub Notification of comment by bramus
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8746#issuecomment-1519646651 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 24 April 2023 08:48:47 UTC