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.
