Hrvoje Niksic wrote:
 Let's take a one-question bug-or-feature quiz:
 
     In isearch, when you type in a capital letter, isearch becomes
     case-sensitive.  However, when you delete the letter, the search
     *remains* case-sensitive.  In fact, there is no way to make it
     case-insensitive without exiting and reentering the search.
 
     Bug or feature? 
        I say: bug. This is something I probably missed when I did the search
case improvements one year ago.
-- 
    /     /   _   _       Didier Verna        
http://www.inf.enst.fr/~verna/
 - / / - / / /_/ /     ENST, INFRES C201.1       mailto:vernaļ¼ inf.enst.fr
/_/ / /_/ / /__ /        46 rue Barrault        Tel.   +33 (1) 45 81 73 46
                       75013 Paris, France      Fax.   +33 (1) 45 81 31 19