[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.

Regards,

John Daggett

[1] http://dev.w3.org/csswg/css3-values/#identifiers

Received on Wednesday, 9 May 2012 07:24:34 UTC