[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: case-insensitive if no insensitive dups?
From: |
Drew Adams |
Subject: |
RE: case-insensitive if no insensitive dups? |
Date: |
Sun, 8 Jun 2008 23:38:44 -0700 |
> > 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.
Glad to hear it. I will think about it also. Maybe one of us (someone) will get
around to trying something out.
Some care needs to be taken to allow user control over this, IMO - exceptions,
etc. The last thing we would want is something that doesn't let you impose
case-sensitive matching when you are sure that is what you want. IOW, we
shouldn't assume you necessarily want generous matching - you might sometimes
want completion to fail if there is no case-sensitive match.
- Re: buffer name completion is case-sensitive now, (continued)
- 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, 2008/06/08
- RE: case-insensitive if no insensitive dups?,
Drew Adams <=
- 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
- Re: buffer name completion is case-sensitive now, Óscar Fuentes, 2008/06/08