[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: |
Thu, 10 Sep 2020 18:55:51 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>>> Do you mean to match text in the display replacement,
>> No, I mean to ignore `search-invisible` on those specific chunks (but
>> still only do the search on the buffer text).
> FYI, I proposed similar patch earlier:
> https://lists.gnu.org/archive/html/emacs-devel/2020-07/msg00679.html
OMG, yes, it's still in my TODO.
Note that what I'm suggesting is somewhat orthogonal since it's about
making it possible for a text (or overlay) property to say not to skip
over a particular (hidden) chunk of text, regardless of whether (and
how) we'd open the text to show it or not.
Stefan
- search-invisible and friends, Lars Ingebrigtsen, 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, Juri Linkov, 2020/09/10
- Re: search-invisible and friends, Stefan Monnier, 2020/09/10
- Re: search-invisible and friends, Ihor Radchenko, 2020/09/10
- Re: search-invisible and friends,
Stefan Monnier <=
- Re: search-invisible and friends, Ihor Radchenko, 2020/09/10
- Re: search-invisible and friends, Stefan Monnier, 2020/09/10
- Re: search-invisible and friends, Yuri Khan, 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/11
- Re: search-invisible and friends, Eli Zaretskii, 2020/09/11
- Re: search-invisible and friends, Lars Ingebrigtsen, 2020/09/12