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

[Eli Zaretskii]

On Tue, 11 Jun 2002, Karl Eichwalder wrote:

> To avoid the so called "display bug" (same visible info twice) the
> proposal was to make look both lines different.  We can achive this
> goal replacing "Next: ", "Prev: ", and  "Up: " with graphical elements
> ("-> ", "<- ", and "^ " or real arrows if supported).

We already have graphical navigation buttons on the tool bar.  Having 
"->" and such likes in the header line might not be self-explanatory 
enough; OTOH, "Next" etc. don't take up too much space as compared to
the ASCII art you propose.