all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Lars Ingebrigtsen <larsi@gnus.org>
To: Stefan Monnier <monnier@iro.umontreal.ca>
Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
Subject: Re: search-invisible and friends
Date: Fri, 11 Sep 2020 13:41:03 +0200	[thread overview]
Message-ID: <87zh5wzgkw.fsf@gnus.org> (raw)
In-Reply-To: <jwvd02titbt.fsf-monnier+emacs@gnu.org> (Stefan Monnier's message of "Thu, 10 Sep 2020 11:03:06 -0400")

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



  parent reply	other threads:[~2020-09-11 11:41 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-09-09 12:39 search-invisible and friends Lars Ingebrigtsen
2020-09-09 14:43 ` Eli Zaretskii
2020-09-10 12:38   ` Lars Ingebrigtsen
2020-09-10 14:29     ` Eli Zaretskii
2020-09-10 15:03       ` Stefan Monnier
2020-09-10 18:11         ` Juri Linkov
2020-09-10 20:47           ` Stefan Monnier
2020-09-10 22:10             ` Ihor Radchenko
2020-09-10 22:55               ` Stefan Monnier
2020-09-11  1:03                 ` Ihor Radchenko
2020-09-11  1:42                   ` Stefan Monnier
2020-09-11  5:35         ` Yuri Khan
2020-09-11 11:46           ` Lars Ingebrigtsen
2020-09-11 12:29             ` Eli Zaretskii
2020-09-11 14:40               ` Lars Ingebrigtsen
2020-09-11 14:50                 ` Eli Zaretskii
2020-09-11 14:56                   ` Lars Ingebrigtsen
2020-09-11 15:14                     ` Eli Zaretskii
2020-09-12 11:48                       ` Lars Ingebrigtsen
2020-09-12 15:29               ` Stefan Monnier
2020-09-11 11:41         ` Lars Ingebrigtsen [this message]
2020-09-10 18:12     ` Drew Adams
2020-09-09 15:10 ` Stefan Monnier
2020-09-09 15:26   ` Eli Zaretskii
2020-09-09 16:11     ` Stefan Monnier
2020-09-09 16:25       ` Eli Zaretskii
2020-09-10 12:35         ` Lars Ingebrigtsen
2020-09-10 12:42           ` Eli Zaretskii
2020-09-10 13:21             ` Stefan Monnier
2020-09-10 14:42               ` Eli Zaretskii
2020-09-11 11:37             ` Lars Ingebrigtsen
2020-09-11 12:25               ` Eli Zaretskii
2020-09-09 18:48 ` Juri Linkov
2020-09-10 12:01   ` Lars Ingebrigtsen

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87zh5wzgkw.fsf@gnus.org \
    --to=larsi@gnus.org \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=monnier@iro.umontreal.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.