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

Re: [css3-fonts][css-variables][css-counter-styles-3][css3-values] Case sensitivity of user-defined identifiers

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

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

This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:22 UTC