[Python-3000] PEP 3131 accepted

["Martin v. Löwis"]

> That's not true. In the Unicode BMP fallback font, you can easily
>> differentiate all Unicode characters (in the BMP):
>>
>> http://scripts.sil.org/UnicodeBMPFallbackFont
> 
> Er... somehow I don't think that's what Martin had in mind
> when he used the word "font" in that context. :-)

That might well be - however, I think that is because of an
unclear problem statement. From the discussion, I gathered
that the perceived problem is this:

"Somebody maliciously sends me a patch, and I want to be
able to tell visually that it's wrong."

A possible answer to that was proposed as "the editor should
render the characters differently", to which the
counter-argument was "there is no font to do that, so the
editor can't". I just wanted to point out that this just
is not true: there is an approach to Unicode fonts where
you can guarantee that all characters can be rendered,
and that all characters rendered in that font look different.

Regards,
Martin