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

follow-up on case sensitivity for user-defined identifiers in CSS

From: John Daggett <jdaggett@mozilla.com>
Date: Fri, 14 Dec 2012 00:06:41 -0800 (PST)
To: www-style list <www-style@w3.org>
Cc: WWW International <www-international@w3.org>
Message-ID: <1738040016.6217439.1355472401144.JavaMail.root@mozilla.com>

After reviewing the documentation of Unicode case matching, I think
those proposing "full" Unicode case matching for CSS user identifiers
are underestimating both the complexity of the implementation along
with it's utility.  The discussion at TPAC by the Internationalization
WG concluded that CSS should use full case matching for user-defined
identifiers but I don't see much discussion of the actual case
matching algorithm to be used.  I think the complexity involved
actually requires careful consideration and I've posted on
www-international stating the reasons. [1], [2]

I think the comment by Anne van Kesteren is most apt, for the problem
at hand full Unicode case mapping is overkill. [3]  Steve Zilles
summed this viewpoint up quite nicely during the telcon discussion
last week [4]:

> SteveZ: No strong opinions, but anne's solution more likely to be
>         interoperable.  Trying to track bugs for edge cases is bigger
>         pain than the value of being insensitive, and interop would suffer

If ASCII case sensitivity is seen as an inappropriate to use for
user-defined identifiers, I think we should stick with case sensitive
matching instead.  We should only opt for full Unicode case matching
if someone can desribe in detail the exact case matching algorithm and
justify why the complexity involved is worth the trouble.

John Daggett

[1] http://lists.w3.org/Archives/Public/www-international/2012OctDec/0141.html
[2] http://lists.w3.org/Archives/Public/www-international/2012OctDec/0142.html
[3] http://lists.w3.org/Archives/Public/www-international/2012OctDec/0109.html
[4] http://lists.w3.org/Archives/Public/www-style/2012Dec/0118.html
Received on Friday, 14 December 2012 08:07:09 UTC

This archive was generated by hypermail 2.3.1 : Monday, 2 May 2016 14:39:06 UTC