Stef Epardaud <stef(a)lunatech.com&gt; wrote: Not necessarily: - A user option is supposed to describe a global behavior. The behavior you want appears to me very likely to change from search to search. That's the reason why I hate case-fold-search. It says more or less "you (don't) want case sensitivity all the time". It's stupid. Case sensitivity is heavily dependant on the precise search you're doing right now. - A function argument would be fine, but these functions have already a prefix. So better write new functions. It's called backward something... I hate it ;-) -- / / _ _ 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