[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 12:53:11 -0700 |
I said:
> I think we should add a user option for this, similar to
> `read-file-name-completion-ignore-case':
> `buffer-name-completion-ignore-case'.
Implementation of respect for such an option would likely be limited to
`read-buffer' and `interactive' buffer specs ("B" and "b").
Unlike the case for `read-file-name' and
`read-file-name-completion-ignore-case', it is impossible for `completing-read'
to reliably determine whether its completion candidates are (all) buffer names.
- buffer name completion is case-sensitive now, Drew Adams, 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, David Kastrup, 2008/06/08
- Re: buffer name completion is case-sensitive now, David Kastrup, 2008/06/08
- RE: buffer name completion is case-sensitive now, Drew Adams, 2008/06/08
- RE: buffer name completion is case-sensitive now,
Drew Adams <=
- Re: buffer name completion is case-sensitive now, John Paul Wallington, 2008/06/08
- case-insensitive if no insensitive dups?, Drew Adams, 2008/06/08
- RE: case-insensitive if no insensitive dups?, Drew Adams, 2008/06/08
- Re: case-insensitive if no insensitive dups?, Stefan Monnier, 2008/06/08
- RE: case-insensitive if no insensitive dups?, Drew Adams, 2008/06/09
- Re: buffer name completion is case-sensitive now, Richard G Riley, 2008/06/08
- Re: buffer name completion is case-sensitive now, David Kastrup, 2008/06/08
- Re: buffer name completion is case-sensitive now, İsmail Dönmez, 2008/06/08
- Re: buffer name completion is case-sensitive now, Eli Zaretskii, 2008/06/08
- Re: buffer name completion is case-sensitive now, Richard G Riley, 2008/06/08