[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: search-invisible and friends
From: |
Stefan Monnier |
Subject: |
Re: search-invisible and friends |
Date: |
Wed, 09 Sep 2020 11:10:33 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Does Emacs have this functionality somewhere? If not, I think it
> should, and perhaps (or perhaps not?) by piggy-backing on the
> search-invisible variable.
It'd be very natural to extend the current behavior to also ignore text
that's hidden via `display` rather than via `invisible`, but please be
careful not to consider all `display` properties as hiding the text,
since some do and some don't (not sure which is the official definition
of which do and which don't. Maybe `display_prop_intangible_p` does
the trick?).
Stefan
- Re: search-invisible and friends, (continued)
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/11
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/11
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/11
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/11
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/11
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/11
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/12
- Re: search-invisible and friends, Stefan Monnier, 2020/09/12
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/11
- RE: search-invisible and friends, Drew Adams, 2020/09/10
Re: search-invisible and friends,
Stefan Monnier <=
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/09
- Re: search-invisible and friends, Stefan Monnier, 2020/09/09
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/09
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/10
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/10
- Re: search-invisible and friends, Stefan Monnier, 2020/09/10
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/10
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/11
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/11
Re: search-invisible and friends, Juri Linkov, 2020/09/09