W3C home > Mailing lists > Public > public-css-archive@w3.org > June 2019

Re: [csswg-drafts] [css-ui] "control" is undefined (#3990)

From: jugglinmike via GitHub <sysbot+gh@w3.org>
Date: Mon, 17 Jun 2019 17:25:42 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-502776301-1560792341-sysbot+gh@w3.org>
@frivoal I'd be happy to submit a patch changing "control" to "widget," but I'd like to confirm that such a change would be acceptable. Can you let me know?

GitHub Notification of comment by jugglinmike
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/3990#issuecomment-502776301 using your GitHub account
Received on Monday, 17 June 2019 17:25:44 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 19 October 2021 01:31:10 UTC