From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Juri Linkov Newsgroups: gmane.emacs.devel Subject: Re: Todays exercise of sanity (or does "see" really match "not"?) Date: Wed, 23 Mar 2005 15:08:04 +0200 Organization: JURTA Message-ID: <877jjy4ij3.fsf@jurta.org> References: <002301c52e18$c9b014a0$0200a8c0@sedrcw11488> <200503211349.j2LDnxX12741@raven.dms.auburn.edu> <003401c52e20$d6f79c70$0200a8c0@sedrcw11488> <87hdj4vppf.fsf@jurta.org> <87br9begh1.fsf@jurta.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1111586995 1204 80.91.229.2 (23 Mar 2005 14:09:55 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 23 Mar 2005 14:09:55 +0000 (UTC) Cc: lennart.borgman.073@student.lu.se, emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Mar 23 15:09:54 2005 Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1DE6YN-0000UN-Gk for ged-emacs-devel@m.gmane.org; Wed, 23 Mar 2005 15:09:48 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1DE6ps-0001pj-Un for ged-emacs-devel@m.gmane.org; Wed, 23 Mar 2005 09:27:52 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1DE6ov-00017h-BN for emacs-devel@gnu.org; Wed, 23 Mar 2005 09:26:55 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1DE6op-00013f-E9 for emacs-devel@gnu.org; Wed, 23 Mar 2005 09:26:49 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1DE6oo-00010U-Bq for emacs-devel@gnu.org; Wed, 23 Mar 2005 09:26:46 -0500 Original-Received: from [199.232.41.67] (helo=mx20.gnu.org) by monty-python.gnu.org with esmtp (TLSv1:RC4-SHA:128) (Exim 4.34) id 1DE6WK-0006vQ-Eo; Wed, 23 Mar 2005 09:07:40 -0500 Original-Received: from [194.126.101.98] (helo=MXR-2.estpak.ee) by mx20.gnu.org with esmtp (Exim 4.34) id 1DE5iz-0001SU-Sk; Wed, 23 Mar 2005 08:16:43 -0500 Original-Received: from mail.neti.ee (80-235-34-194-dsl.mus.estpak.ee [80.235.34.194]) by MXR-2.estpak.ee (Postfix) with ESMTP id 2C75019D4B5; Wed, 23 Mar 2005 15:16:18 +0200 (EET) Original-To: rms@gnu.org In-Reply-To: (Richard Stallman's message of "Wed, 23 Mar 2005 01:21:51 -0500") User-Agent: Gnus/5.110002 (No Gnus v0.2) Emacs/22.0.50 (gnu/linux) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org X-MailScanner-To: ged-emacs-devel@m.gmane.org Xref: news.gmane.org gmane.emacs.devel:35044 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:35044 Richard Stallman writes: > 1. Set both `invisible' and `display' properties. It seems the > display engine ignores the `invisible' property when the `display' > property is present. But isearch still respects it. > > I agree that that way is the best--if we decide that the current > behavior when invisible and display are both present is the correct > one. Maybe it is the right behavior; I see no reason to think it > should be changed. But it would be nice to be really sure. Even though adding the `invisible' property will allow isearch to skip the text under the `display' property for Emacs packages where this is desirable, it will not solve the original problem in Info reported in the initial message of this thread. Info-search operates on plain text Info files without text properties set by Info-fontify. So it should rely on pure syntactical elements like `*Note ' tags. This is implemented in my latest patch. -- Juri Linkov http://www.jurta.org/emacs/