Re: faster unicode character name completion

[Stefan Monnier]

>> So the patch below seems to be a good compromise: it uses up just about
>> 1000K cons cells (i.e. 16KB on 64bit systems) to keep the precomputed
   ^^^^^
should be 1000 or 1K, of course.

> BTW, a related problem: it would be better to hide old obsolete Unicode
> names to not advertise them, but still allow completions on them.
> For instance, duplicate names such as

>   name: LATIN CAPITAL LETTER A WITH ACUTE
>   old-name: LATIN CAPITAL LETTER A ACUTE

> add too much noise.

Note that for the code 0-31, it seems that the oldname is more useful
than the new one (which ssems to just be "<control>" for all of them).
Not sure if there are others in the same situation.

> Maybe to use the same approach as used for
> `completion-ignored-extensions', i.e. to ignore old names, but don't
> ignore if all possible completions end in one of them.

It'd be easy to do, but I'm not sure it's worth the trouble.


        Stefan