On Fri, Sep 21, 2012 at 04:18:47PM +0200, Stefan Sperling wrote:
> On Fri, Sep 21, 2012 at 01:07:24PM +0100, Julian Foad wrote:
> > One idea stands out as an immediate improvement: have the basic, simple, generic search commands be case-insensitive. Instead of the present
> >
> > --search
> > --isearch (or was it --i-search? no, just playing mind games),
> > --search-and
> > --isearch-and
> >
> > reduce the current implementation to just
> >
> > --search
> > --search-and
> >
> > and make those case-insensitive. Always.
>
> That's a great suggestion, actually, and very easy to do.
> I will do this if nobody objects.
Since I doubt that anyone objects to uncluttering the interface,
I just went ahead with this in r1388530.
Received on 2012-09-21 16:44:18 CEST