[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: In info, search for \btop\b finds end of last node name under header
|
From: |
Drew Adams |
|
Subject: |
RE: In info, search for \btop\b finds end of last node name under header if nodeis child of Top |
|
Date: |
Wed, 6 Oct 2004 00:11:25 -0700 |
Call it as you like.
The node has "top" in it...in the _info file_. The visible text of the node
does not contain the word "top". Users think in terms of what they see.
From: Richard Stallman [mailto:address@hidden
Well, when searching for the word "top", it finds a position in a node
that
has _no_ text "top" in it.
The node has "top" in it, so I am not sure this is a bug.
Subject lines in your messages, Eli Zaretskii, 2004/10/06