[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The defaults for Info
|
From: |
Gavin Smith |
|
Subject: |
Re: The defaults for Info |
|
Date: |
Sat, 3 Oct 2015 09:49:32 +0100 |
On 2 October 2015 at 07:35, Eli Zaretskii <address@hidden> wrote:
>> Date: Thu, 1 Oct 2015 21:14:17 GMT
>> From: Karl Berry <address@hidden>
>>
>> I find the File: and Node: parts of the hdr line the most useful.
>> At least Node:, for sure, much more than the pointers. Go figure ...
>
> Actually, the "File:" and "Node:" parts are redundant: they also
> appear in the mode line.
>
The heading at the start of the node also tells us what node we're in,
although it's possible for the node name and section name to differ.