[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: search in Info should not find "File", "Node" etc. in header
From: |
Juri Linkov |
Subject: |
Re: search in Info should not find "File", "Node" etc. in header |
Date: |
Mon, 01 Nov 2004 03:33:33 +0200 |
User-agent: |
Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux) |
"Drew Adams" <address@hidden> writes:
> Yes, I believe that may be a different bug, which I reported on 10/04
> (subject line "In info, search for \btop\b finds end of last node name under
> header if node is child of Top).
This patch fixes the bug you reported.
> If such artifacts take the form of tags (for lack of a better word) that are
> present, physically, in the buffer text, then perhaps a text property could
> be added to the tag text so that the tags are not seen by search operations.
> Your patch code makes me think that such an "invisible" property might
> already be present.
`Info-search' searches for a string on raw text of Info files.
Some parts of Info files where Info nodes were already visited are
fontified and have `invisible' property. But fontifying and adding
`invisible' or other properties to hide the tags from search
to the whole Info file before search is too inefficient, so
`Info-search' can't rely on text properties. Instead of that,
it should rely on the known syntax of Info files such as that Info nodes
begin with a ^_ character. I think skipping the header is sufficient
to ignore irrelevant parts of Info nodes, and I see no problem with
other special Info tags like Note and Menu.
> And your explanation makes me think that your fix might take care of
> both bugs (search finding text such as "top" in the header line and
> positioning cursor after the header; search finding text such as
> "file" in the line following the header line).
Yes, both bugs are fixed with this patch.
--
Juri Linkov
http://www.jurta.org/emacs/
- RE: search in Info should not find "File", "Node" etc. in header, (continued)
- RE: search in Info should not find "File", "Node" etc. in header, Drew Adams, 2004/10/30
- Re: search in Info should not find "File", "Node" etc. in header, Eli Zaretskii, 2004/10/31
- Re: search in Info should not find "File", "Node" etc. in header, Eli Zaretskii, 2004/10/31
- RE: search in Info should not find "File", "Node" etc. in header, Drew Adams, 2004/10/31
Re: search in Info should not find "File", "Node" etc. in header, Karl Berry, 2004/10/30
Re: search in Info should not find "File", "Node" etc. in header, Juri Linkov, 2004/10/31
RE: search in Info should not find "File", "Node" etc. in header, Drew Adams, 2004/10/31
Re: search in Info should not find "File", "Node" etc. in header,
Juri Linkov <=