[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: case-insensitive if no insensitive dups?
|
From: |
Stefan Monnier |
|
Subject: |
Re: case-insensitive if no insensitive dups? |
|
Date: |
Sun, 08 Jun 2008 21:46:03 -0400 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
> Here's a crazy idea.
> Whenever there are no completion candidates that differ only by case, treat
> completion as case-insensitive. Even when the governing variables (e.g.
I don't consider myself as crazy, but I've already several times
considered doing just that. I haven't tried to code it up yet, tho.
Stefan
- 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, 2008/06/08
- 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 <=
- 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
- Re: buffer name completion is case-sensitive now, Miles Bader, 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
- Re: buffer name completion is case-sensitive now, Miles Bader, 2008/06/08