bug#28439: suggestion: support case-independent xref-find-definitions prompt TAB

[Dmitry Gutov]

Hi Eli,

On 9/13/17 6:30 PM, Eli Zaretskii wrote:

> > xref-find-definitions UI suggestion:
> >
> >     Since xref-find-definitions is willing to match names typed in all
> >     lower case to mixed case names, TAB (show alternatives) should, too.
> >     If there's not already a way to make TAB do so, then a way should be
> >     added.
>
> Dmitry, how about the patch below?

Sorry, what don't we want to follow the value of completion-ignore-case?

The fact that we have the option tags-case-fold-search (used in 
find-tag-tag, among other places) probably means that some users prefer 
not to ignore case.

Maybe we could add a similar xref-specific option on top, but I'm not 
sure why completion-ignore-case is not good enough.

We could change its default to t, though.