Re: [css3-fonts][css-variables][css-counter-styles-3][css3-values] Case sensitivity of user-defined identifiers from Tab Atkins Jr. on 2012-10-01 (www-style@w3.org from October 2012)

From: Tab Atkins Jr. <jackalmage@gmail.com>
Date: Mon, 1 Oct 2012 10:41:14 -0700
To: Brian Kardell <bkardell@gmail.com>
Cc: Boris Zbarsky <bzbarsky@mit.edu>, www-style@w3.org
Message-ID: <CAAWBYDCmbjJzQyZvbU5_4zWsC-xWXVypZ-=55AsjwmvSk+LL8A@mail.gmail.com>

Okay, based on everyone's feedback, it seems that the best way to go
is to just do ASCII case-insensitivity.  It matches HTML, it avoids
some pitfalls present in doing naive Unicode case-insensitivity (which
we're probably stuck with anyway, due to not having the ability to tag
things with the language it's in, as you can do in HTML), and it's
fast for performing matching lots of times against the same strings,
which is impossible with *proper* Unicode case-insensitivity.

Let's resolve this at the next telcon and close the issue, then!

~TJ

Received on Monday, 1 October 2012 17:42:04 UTC