[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: |
Miles Bader |
Subject: |
Re: Patch to disable links line in *info* buffer |
Date: |
12 Jun 2002 11:53:38 +0900 |
Richard Stallman <address@hidden> writes:
> > We already have graphical navigation buttons on the tool bar.
>
> Thanks for the reminder! The header line must not appear at all if the
> tool bar is enabled.
>
> That could be a good idea in addition to the above.
I'm not entirely sure I understand what's being suggested.
If it's that the header-line should only show up when there's no
tool-bar, that's a bad 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.
-Miles
--
.Numeric stability is probably not all that important when you're guessing.
- Re: Patch to disable links line in *info* buffer, (continued)
- 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
- Re: Patch to disable links line in *info* buffer, Robert J. Chassell, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Robert J. Chassell, 2002/06/12
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/12
- Re: Patch to disable links line in *info* buffer, Robert J. Chassell, 2002/06/13
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/14
- Re: Patch to disable links line in *info* buffer, Karl Eichwalder, 2002/06/14
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/11
- Re: Patch to disable links line in *info* buffer,
Miles Bader <=
- Re: Patch to disable links line in *info* buffer, Karl Eichwalder, 2002/06/12
- Re: Patch to disable links line in *info* buffer, Alex Schroeder, 2002/06/12
- Re: Patch to disable links line in *info* buffer, Karl Eichwalder, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Eli Zaretskii, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Karl Eichwalder, 2002/06/11
Re: Patch to disable links line in *info* buffer, Eli Zaretskii, 2002/06/09
Re: Patch to disable links line in *info* buffer, David Ponce, 2002/06/07
Re: Patch to disable links line in *info* buffer, David Ponce, 2002/06/07