Re: Improve the docstring of case-fold-search

[Bastien <bastienguerry@googlemail.com>]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> As written, the doc is wrong.  The magic "pay attention to case if
> there's a capital letter" is not done "within case-fold-search" but
> within isearch (and maybe a few more places) which then bind
> case-fold-search to the appropriate value.

/me trying to figure out what other places...

> The case-fold-search variable is pretty low-level and applies to
> functions like re-search-forward.  Maybe it shouldn't be customizable to
> avoid such confusion.

Yes.  And add a `case-fold-isearch' option with a docstring reflecting
the behavior described in the Search Case of the manual.  Be maybe there
are other functions than isearch that would make use of it.

-- 
 Bastien