Luc Teirlinck <[EMAIL PROTECTED]> 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/ _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
