Re: Todays exercise of sanity (or does "see" really match "not"?)

[Juri Linkov]

Luc Teirlinck <address@hidden> writes:
> Just to make sure: did you check that your patch works correctly when
> Info-hide-note-references is nil, where `not' _should_ match `*Note'?
> Personally, I have not had the time to follow this thread completely,
> but at first view, nothing in this seem like a bug in any search
> function to me.  To me, it seems like an obvious bug in
> Info-hide-note-references; it abuses the display property for editing
> purposes.

It is easy to add a test for Info-hide-note-references, but I think it
would be more convenient to skip the `*Note ' tag even when it is visible.
Searching for "not" is too tiresome when search stops at every cross
reference.

-- 
Juri Linkov
http://www.jurta.org/emacs/