[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: |
11 Jun 2002 16:05:58 +0900 |
Miles Bader <address@hidden> writes:
> Now, perhaps your solution of duplicate header lines _is_ the best
> compromise -- it avoids screwing up the nice interface, and it makes
> Bob happy (I guess), even if it slightly confuses users and makes the
> info buffer uglier.
>
> Perhaps it would be possible to add some sort of header-line hackery so
> that the header-line is only displayed when the buffer-resident
> nodes-line has scrolled out of view.
Here are two possibilities that come to mind for an improved (less
confusing or `bug like') display:
(1) I tried some experiments, and it's possible to do something like this:
(setq header-line-format
'(:eval (and (> (window-start) (point-min)) 'Info-header-line)))
which has the effect of making the header-line blank (I couldn't find
any way to make it actually disappear) if the `in file' nodes-line is
visible. As soon as the screen scrolls so that the first line of the
node isn't visible anymore, the header-line becomes non-blank (so it
looks a bit like the in-file version "shifts" into the header-line).
(2) The header-line contains only the `Next:', `Prev:' and `Up:' tags
(to save space) whereas the the in-file nodes-line contains `File:'
and `Node:' tags as well.
If the general point of copying is to identify the current node, we
could keep the `Next:' &c tags in the header-line, and put _only_ the
`File:' and `Node:' tags in the (displayed) buffer -- that way, there
wouldn't be any redundancy, and the string that people most commonly
might want to copy is available in the buffer for copying.
This would also have the advantage that the first line usually
wouldn't wrap, as it often does currently.
Personally I think (2) is a good compromise.
Thoughts?
-Miles
--
`Life is a boundless sea of bitterness'
- Re: Patch to disable links line in *info* buffer, (continued)
- Re: Patch to disable links line in *info* buffer, Eli Zaretskii, 2002/06/10
- 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 <=
- 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, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Karl Eichwalder, 2002/06/12