Re: fix for bug 10994 breaks ido customizations in major way

[Stefan Monnier]

> Leo, can we wrap this up please?
> My last patch

> a) is fast
> b) fixes the bug as reported by the user (10994)
> c) does not break existing functionality packages rely on
> d) does not facilitate creating confusing UI in future

> Seems like a win to me, but please discuss further if there are other
> considerations.

Supporting multiple options with same text is not very important, given
the tendency to confusion, so I think your patch is a good idea.


        Stefan