[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: info mode header line missing title

From: Kevin Rodgers
Subject: Re: info mode header line missing title
Date: Mon, 30 Aug 2004 12:53:32 -0600
User-agent: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv: Gecko/20020406 Netscape6/6.2.2

address@hidden wrote:
> You should reinstate the previous rule of including the current node
> in the header line.

I agree.  Ideally, "Prev: Previous node name" would be left justified,
"Next: Next node name" would be right justified, and "Node: This node
name" would be centered and "This node name" would be in a different
face from the other two node names.

> This could be a default mode that experts like the developer who
> instituted this change might customize to remove the current node
> from the header line.

It is already customizable: C-h v Info-header-line

Kevin Rodgers

reply via email to

[Prev in Thread] Current Thread [Next in Thread]