Re: how to control isearch for invisible text

[David Kastrup]

"Drew Adams" <address@hidden> writes:

> It seems like there should be some way to control whether isearch matches
> text that is invisible or ignores it. I couldn't find anything on this in
> either the Emacs manual or the Elisp manual. Is there no such option?
>
> I came across `isearch-open-invisible-temporary' in the Elisp manual, but I
> coudn't tell if that was related. Its explanation speaks of "overlays", even
> though the rest of the same Info node speaks of text properties (?). Plus,
> it seems to be a property of the overlay itself, rather than an option for
> how isearch should treat invisible text generally.
>
> If there is no option to control isearch's sensitivity to invisible text,
> then how about adding one? And adding an isearch keymap binding for toggling
> the option while searching. It would be a plus if the same option could act
> similarly for query-replace and occur. For query-replace, perhaps the same
> toggle binding could be used.
>
> Please let me know if something like this is already available. In that
> case, it probably needs better doc (e.g. Emacs manual).

M-x apropos-documentation RET isearch.*invisible RET

If moving the mouse over text changes the text's color, you can click
mouse-2 (second button from right) on that text to get more information.
In this buffer, go to the name of the command, or function, or variable,
and type RET to get full documentation.


----------------
search-invisible
  Variable: If t incremental search can match hidden text.
A nil value means don't match invisible text.
When the value is `open', if the text matched is made invisible by
an overlay having an `invisible' property and that overlay has a property
`isearch-open-invisible', then incremental search will show the contents.
(This applies when using `outline.el' and `hideshow.el'.)
See also `reveal-mode' if you want overlays to automatically be opened
whenever point is in one of them.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum