W3C home > Mailing lists > Public > www-style@w3.org > May 2012

[css3-values] identifier type

From: John Daggett <jdaggett@mozilla.com>
Date: Wed, 9 May 2012 00:24:04 -0700 (PDT)
To: www-style list <www-style@w3.org>
Message-ID: <94875180.4363765.1336548244121.JavaMail.root@mozilla.com>
The CSS3 Values spec defines a new type, the <identifier> type [1],
for user-defined identifiers.  These are specified as case *sensitive*
identifiers.  In specs where this notation is used, one has to know
that there's a distinction between the term "identifier" and the
"<identifier>" type.  I think this creates a certain amount of
confusion, I think it would be better to name this type '<user-ident>'
to avoid this confusion.


John Daggett

[1] http://dev.w3.org/csswg/css3-values/#identifiers
Received on Wednesday, 9 May 2012 07:24:34 UTC

This archive was generated by hypermail 2.4.0 : Monday, 23 January 2023 02:14:15 UTC