[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: |
Kim F. Storm |
Subject: |
Re: Patch to disable links line in *info* buffer |
Date: |
12 Jun 2002 01:45:05 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50 |
Jason Rumney <address@hidden> writes:
> Richard Stallman <address@hidden> writes:
>
> > However, in one respect it would not be better than the method we used
> > a week ago: it would always use a screen line for the header line.
> > If we want to save more screen space for the text, this will not do so.
> > For that we would have to eliminate the header line entirely.
>
> The use of the header line for info links is one change in Emacs 21
> that has *not* attracted lots of complaints of wasted screen space. I
> think most users consider that the usefulness of having navigation
> links always at the top of the info window outweighs the extra space
> used.
Yes, the typical reaction on the new "sticky" header line is: very nice!
> ... and work towards
> a longer term goal of making it possible to copy information from the
> header and mode lines.
I just added a new function `format-mode-line' to CVS emacs which
returns the current mode-line or header-line of the selected (or a
specified) window as a string [without properties].
So now you can copy them from lisp; next step is to make bindings to
do this. [any volounteers?]
--
Kim F. Storm <address@hidden> http://www.cua.dk
- 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, Robert J. Chassell, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Stefan Monnier, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Andreas Schwab, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/10
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/11
- Re: Patch to disable links line in *info* buffer, Jason Rumney, 2002/06/11
- Re: Patch to disable links line in *info* buffer,
Kim F. Storm <=
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/12
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/12
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 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, Kim F. Storm, 2002/06/19
- Re: Patch to disable links line in *info* buffer, Stefan Monnier, 2002/06/19
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/21
- Re: Patch to disable links line in *info* buffer, Kim F. Storm, 2002/06/21
- Re: Patch to disable links line in *info* buffer, Richard Stallman, 2002/06/21
- Re: Patch to disable links line in *info* buffer, Robert J. Chassell, 2002/06/13