Re: Patch to disable links line in *info* buffer

[Karl Eichwalder]

Miles Bader <address@hidden> writes:

> If it's that the header-line should only show up when there's no
> tool-bar, that's a bad idea:

Yes, that was my idea.

> In addition to providing something to click on for navigation, the
> header-line serves to provide context, by showing the name of the
> adjacent nodes; in fact, I'd argue that this is it's most important
> function.  The tool-bar, by contrast, only gives some unnamed buttons --
> that's useful, but it's not nearly good enough to replace the
> header-line.

There is some truth about your observation (even if these labels often
are rather cryptic).

If possible I'd like to see this info added to the tool tips:

    Go to next node: Intro

Then consider to add an item to the tool-bar able to show menu
containing _all_ adjacent and same level nodes.

-- 
address@hidden (work) / address@hidden (home):              |
http://www.suse.de/~ke/                                  |      ,__o
Free Translation Project:                                |    _-\_<,
http://www.iro.umontreal.ca/contrib/po/HTML/             |   (*)/'(*)