Re: Info: Why is "note" hidden by "see"?

[David Kastrup]

Juri Linkov <address@hidden> writes:

> "Lennart Borgman" <address@hidden> writes:

>> Maybe this is not the time to ask, but I simply do not understand
>> why an overlay is used in the Info buffer to hide "note" and
>> display "see". Why can't the text in the buffer be changed instead?
>> Would not that be better for the search functions? Or does that
>> give some new problems? Is the actual text in Info buffer important
>> in some way?
>
> "*note" text in Info buffer is important since Info uses it to find
> cross references.

If info formats the text and replaces "*note" with something else, it
can [expletive deleted] well equip it with some text property or
similar for finding the cross reference.  This would actually speed up
the cross reference finding.  No need to foul up search for other
modes.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum