From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: search-invisible and friends Date: Fri, 11 Sep 2020 17:50:27 +0300 Message-ID: <83mu1wfjv0.fsf@gnu.org> References: <87zh5z9l9y.fsf@gnus.org> <838sdjko39.fsf@gnu.org> <871rj9957z.fsf@gnus.org> <83a6xxk8nj.fsf@gnu.org> <87v9gkzgcd.fsf@gnus.org> <83blich4yz.fsf@gnu.org> <87sgbowf4a.fsf@gnus.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1745"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org, monnier@iro.umontreal.ca, yuri.v.khan@gmail.com To: Lars Ingebrigtsen Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Sep 11 16:53:06 2020 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kGkQD-0000Kq-Fa for ged-emacs-devel@m.gmane-mx.org; Fri, 11 Sep 2020 16:53:05 +0200 Original-Received: from localhost ([::1]:55182 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kGkQC-0001hu-Cj for ged-emacs-devel@m.gmane-mx.org; Fri, 11 Sep 2020 10:53:04 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:32794) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kGkNl-0008Ab-QO for emacs-devel@gnu.org; Fri, 11 Sep 2020 10:50:33 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:40448) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kGkNl-0007gV-5H; Fri, 11 Sep 2020 10:50:33 -0400 Original-Received: from [176.228.60.248] (port=2217 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kGkNh-0004JP-Qb; Fri, 11 Sep 2020 10:50:32 -0400 In-Reply-To: <87sgbowf4a.fsf@gnus.org> (message from Lars Ingebrigtsen on Fri, 11 Sep 2020 16:40:53 +0200) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:255193 Archived-At: > From: Lars Ingebrigtsen > Cc: yuri.v.khan@gmail.com, monnier@iro.umontreal.ca, emacs-devel@gnu.org > Date: Fri, 11 Sep 2020 16:40:53 +0200 > > Eli Zaretskii writes: > > > My main problem with this proposal is that it places the onus on the > > Lisp program which generates the text with display and other > > properties, instead of giving control to the search command. That > > would mean that existing Lisp programs that use these properties will > > not support these features of searching. > > It does, but I think only the code that generates the text covered by > display property knows that its semantics are. What do you mean by "semantics" here? The effect of each kind of display property wrt hiding the covered text is known in advance.