Open JasonBarnabe opened 10 years ago
You're right, the JavaScript scanner allows only the standard (Englisch) ASCII alphabet. But Firefox and Safari both accept your code. I'm going to change this in 1.2.
Mozilla writes:
Starting with JavaScript 1.5, you can use ISO 8859-1 or Unicode letters such as å and ü in identifiers. You can also use the \uXXXX Unicode escape sequences as characters in identifiers.
Pygments doesn't agree:
\u1212 = 4
\u1212(\u1212)
Also:
JavaScript 1.5 was introduced back in 1999.
Wow, I missed that :P
P.S. HTML "id" attributes and CSS class names also allows unicode characters. Very few people know about that.
https://github.com/rubychan/coderay/pull/174 for a fix.
This runs with no problem:
But CodeRay thinks there's errors. (Hey, so does Github!)