|
| 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: | Wed, 06 Oct 2004 01:28:10 -0400 |
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.
| [Prev in Thread] | Current Thread | [Next in Thread] |