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.