[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: buffer name completion is case-sensitive now
From: |
Richard G Riley |
Subject: |
Re: buffer name completion is case-sensitive now |
Date: |
Tue, 10 Jun 2008 03:29:56 +0200 |
User-agent: |
Gnus/5.110011 (No Gnus v0.11) Emacs/22.2 (gnu/linux) |
Stefan Monnier <address@hidden> writes:
>>> > Well, that's a matter of opinion. The default value of `completion-
>>> > ignore-case' is nil for all other systems bar MS-Windows. I agree
>>> > with you that buffer names are another case, in addition to
>>> > filenames, where MS-Windows systems should do case-insensitive
>>> > completion. I think that
>>>
>>> Given the fact that buffer-names are generally derived directly from
>>> file-names, I suggest we change read-buffer to obey
>>> read-file-name-completion-ignore-case.
>
>> For the record, I disagree.
>
> Duly noted...
>
>> I won't repeat all that was said, but some of us have pointed out that
>> the two kinds of object are different. Buffer names are _not_
>> generally derived directly from file names.
>
> ...but irrelevant if it doesn't come with more concrete arguments.
>
>
> Stefan
It is very possible that I have lost the track here, but you are surely
not suggesting that buffer selection SHOULD be case sensitive? It
strikes me as rather unfriendly to say the least since many buffers are
application created in mixed case.
- RE: buffer name completion is case-sensitive now, (continued)
- RE: buffer name completion is case-sensitive now, Drew Adams, 2008/06/08
- Re: buffer name completion is case-sensitive now, Eli Zaretskii, 2008/06/08
- Re: buffer name completion is case-sensitive now, John Paul Wallington, 2008/06/08
- RE: buffer name completion is case-sensitive now, Drew Adams, 2008/06/08
- Re: buffer name completion is case-sensitive now, Óscar Fuentes, 2008/06/08
- Re: buffer name completion is case-sensitive now, Óscar Fuentes, 2008/06/08
- Re: buffer name completion is case-sensitive now, Juanma Barranquero, 2008/06/08
- Re: buffer name completion is case-sensitive now, Stefan Monnier, 2008/06/08
- RE: buffer name completion is case-sensitive now, Drew Adams, 2008/06/09
- Re: buffer name completion is case-sensitive now, Stefan Monnier, 2008/06/09
- Re: buffer name completion is case-sensitive now,
Richard G Riley <=
- Re: buffer name completion is case-sensitive now, Stefan Monnier, 2008/06/09