[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: buffer name completion is case-sensitive now
From: |
Drew Adams |
Subject: |
RE: buffer name completion is case-sensitive now |
Date: |
Sun, 8 Jun 2008 23:43:02 -0700 |
> > 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. 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.
> > Is it okay to install the following change?
>
> I don't think we need yet-another configuration variable for that.
> We should just reuse read-file-name-completion-ignore-case.
Again, I disagree. A screw is not a nail, even if it is sometimes good enough to
just hammer it in.
- 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 <=
- Re: buffer name completion is case-sensitive now, Stefan Monnier, 2008/06/09
- Re: buffer name completion is case-sensitive now, Richard G Riley, 2008/06/09
- Re: buffer name completion is case-sensitive now, Stefan Monnier, 2008/06/09