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

[Eli Zaretskii]

On Mon, 10 Jun 2002, Richard Stallman wrote:

> Someone else wrote:

(That was me.)

>     It looks like a display bug when you first see it: two identical lines,
>     one below the other.
> 
> If the text put in the header line were changed so it would
> not look like the line in the buffer, would that solve the problem?

It depends on how do we change the header line.  Given that both lines 
use the same text, there aren't too many degrees of freedom here, I'm 
afraid.