[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
afraid.
- Re: Patch to disable links line in *info* buffer, (continued)
- Message not available
- Re: Patch to disable links line in *info* buffer, Robert J. Chassell, 2002/06/13
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/13
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/14
- Patch for emacs-lisp-intro.texi, Christian Egli, 2002/06/17
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/09
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/10
- Re: Patch to disable links line in *info* buffer,
Eli Zaretskii <=
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/09
- Re: Patch to disable links line in *info* buffer, Kai Großjohann, 2002/06/09
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/09
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Karl Eichwalder, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Miles Bader, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Miles Bader, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Eli Zaretskii, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Miles Bader, 2002/06/11