Re: add `read-buffer-completion-ignore-case' ?

[Stefan Monnier]

>>> Regardless of what some newbies think, buffer names and filenames are
>>> not the same.  It is quite reasonable for someone to want to have one be
>>> case-insensitive but not the other.
>> 
>> Maybe it's reasonable, but I don't think it matters.
>> So this is irrelevant without a more concrete reason.

> I've found case-insensitivity in buffer-name matching generated a lot of
> annoying "conflicts" due to non-file buffers (e.g. *Group* and *grep*).

> [I currently use case-insensitive at work, and case-sensitive at home :-]

> Since there wasn't much choice in the past, I've not experimented with
> other combinations, but I'd like to.

But that'll only affect people who've always used case-insensitive
matching everywhere until now.


        Stefan