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