|
| From: | Richard Stallman |
| Subject: | Re: In info, search for \btop\b finds end of last node name under header if nodeis child of Top |
| Date: | Thu, 07 Oct 2004 12:43:56 -0400 |
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.
I am convinced. If someone wants to change this, please go ahead.
| [Prev in Thread] | Current Thread | [Next in Thread] |