[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eli Zaretskii
Subject: Re: Patch to disable links line in *info* buffer
Date: Mon, 10 Jun 2002 13:25:56 +0300 (IDT)

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 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]