Re: Hiding *Note:: "tags" in info files

[storm@cua.dk (Kim F. Storm)]

Richard Stallman <rms@gnu.org> writes:

>     The following improved patch does that for *Note but not for *note.
> 
>     BTW, should it handle *note Item: Section. differently from *note Item:: 
>     (e.g. by hiding the Section part)?
> 
>     In any case, there are many incorrect uses of *Note: in the info files,
>     so you will still see a some "see See ..." occurrences.
> 
> How about checking for the presence of "see" in the buffer,
> and putting in "See" only if there is no "see"?

There are also other contexts where it doesn't make sense to add "see"
instead of the *note or *Note.  

I have now committed a change which looks for preceeding punctuation
to determine whether it should add "See ", "see ", or nothing before
the note text.  This only happens when font-lock-mode is enabled.

It also hides the "Section" part of the *note:... links to further improve
readability.

Furthermore, it hides the Section part of menu items, and replaces it by
a suitable number of spaces to properly align (previously mis-aligned)
menus and sub-menus.

I used the intangible property to make moving around in the info
buffer with normal cursor motion act sensible; consequently, I had to
bind inhibit-point-motion-hooks to t in the functions which parses the
various cross references.

IMHO, the result looks quite good.  WDYT?

-- 
Kim F. Storm <storm@cua.dk> http://www.cua.dk