[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: search-invisible and friends
From: |
Lars Ingebrigtsen |
Subject: |
Re: search-invisible and friends |
Date: |
Fri, 11 Sep 2020 13:41:03 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> OTOH, maybe there could be unusual circumstances where it would make
> sense to consider hidden text as "visible" (e.g. if the `display`
> property replaces the text with something that looks very much like the
> same text, tho maybe rendered a bit differently).
Yeah, we have the recent proposed fix for Customize buffers where
symbols like `fill-column' have a bunch of display properties put on top
that makes it look like "Fill Column"... having isearch skip past all
that would be unintended.
> So, maybe there should be a value of `no-search` (or some other
> property) which says "please do consider this text as visible even tho
> it's technically hidden".
I think perhaps the most obvious and flexible is to just make isearch
work the way it does today on text with a display property (i.e.,
agnostic), and then have a standard text property that modes can use to
make isearch skip. I.e., just having a replacing display property in
itself isn't a strong enough hint that isearch should ignore the text.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: search-invisible and friends, (continued)
- 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
- Re: search-invisible and friends, Stefan Monnier, 2020/09/12
- Re: search-invisible and friends,
Lars Ingebrigtsen <=
- RE: search-invisible and friends, Drew Adams, 2020/09/10
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, 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