Dear Patrice,
Thank you very much. This will save the lives of Java users.
> I don't think the function I did is useful as such. It would be better
> to make a function that converts the whole string or something.
Yes, this would save the lives of some Javascript users. Java Unicode notation
is the only Unicode understood by Javascript.
> By the way, what is the encoding for Java Unicode ? is it always "\u"
> followed by 5 hex digits (in which case your example is wrong) ? Then,
> it shouldn't be too difficult to make the relevant function, though I'm
> wondering if the Java programme would convert an incoming '\' 'u' '0'
> '0' '2' '3' '3' to the corresponding UCS2/UTF16 character ?
Java Unicode notation is not case sensitive ('\u' = '\U') and is followed by
an hexadecimal value.
> Maybe we should have some similar input (and output ?) functionality in
> psql, but then I would much prefer the Perl way, which is
> \x{hex_digits}, which is unambiguous.
This would be perfect. We should also handle the HTML unicode nation :
&#{dec_digits} and &#x{hex_digits} as it is unambiguous.
Cheers,
Jean-Michel