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

[Karl Eichwalder]

"Robert J. Chassell" <address@hidden> writes:

> Your new layout for the header line and `File:' and `Node:' tags in
> the *info* buffer works fine and is excellent.

It is interesting, but it is of no use to _new_ users (IMO); is it
possible to offer this tags line as a configuration option?  Only a very
small fraction of all users might be interested in this line for
cut-and-paste purposes.

> I have shifted over to it.

I'd like to get rid of it ;)  Better add page-down and page-up buttons to
the header line; useful in case the user doesn't have a scroll bar but
wants to use the mouse for paging.

-- 
address@hidden (work) / address@hidden (home):              |
http://www.suse.de/~ke/                                  |      ,__o
Free Translation Project:                                |    _-\_<,
http://www.iro.umontreal.ca/contrib/po/HTML/             |   (*)/'(*)