[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:0.9.4.1) Gecko/20020406 Netscape6/6.2.2 |
joseph@vlsidesigntools.com 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