- From: Ryan Johnson via GitHub <sysbot+gh@w3.org>
- Date: Tue, 08 Nov 2022 00:23:57 +0000
- To: public-design-tokens-log@w3.org
> As you've noted, the question to answer is whether it should be an inherited property or not. I'm tempted to say that it should _not_ be inherited - i.e. tokens and groups within a group that has `$extensions` should not be treated as though they themselves had the same `$extensions` property. I agree that `$extensions` should _not_ be inherited, because if it were, we'd then have to define how inheritance is applied if `$extensions` exists at deeper levels of the JSON tree. Additionally, we'd also have to figure out if/how `$extensions` would be resolved with token aliases, too. -- GitHub Notification of comment by CITguy Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/106#issuecomment-1306412955 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 8 November 2022 00:23:59 UTC