- From: Travis Spomer via GitHub <sysbot+gh@w3.org>
- Date: Thu, 01 Dec 2022 01:54:34 +0000
- To: public-design-tokens-log@w3.org
I think that we're getting confused here as people might be using the word "property" to refer to somewhat-different things: (1) a general word describing an aspect of a token or group, and (2) any child item in the JSON structure using the JavaScript definition of "property." Using the JavaScript definition of "property" very technically, @CITguy is correct—the spec no longer makes any sense if all "custom properties" are disallowed. But I don't think anyone is proposing that. I think we're exclusively discussing the more general question of "can something that has a *property* named `$value` also have another *property* with a name not starting with `$`, and use that to store nonstandard data?" -- GitHub Notification of comment by TravisSpomer Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/174#issuecomment-1333039324 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 1 December 2022 01:54:37 UTC