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

Re: [css3-values] identifier type

From: Tab Atkins Jr. <jackalmage@gmail.com>
Date: Sat, 19 May 2012 15:44:52 -0700
Message-ID: <CAAWBYDD1PWEAwYw2v15URdhcpE8JcMcneSNxedseZdV13CQUiA@mail.gmail.com>
To: John Daggett <jdaggett@mozilla.com>
Cc: www-style list <www-style@w3.org>
On Wed, May 9, 2012 at 9:24 AM, John Daggett <jdaggett@mozilla.com> wrote:
> 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.

Done!

~TJ
Received on Saturday, 19 May 2012 22:45:41 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 17:20:54 GMT