Re: GUD node names

[Nick Roberts]

 > But one menu item still produces an ugly continuation line in the
 > standalone Info reader, as well as in Emacs when
 > overflow-newline-into-fringe is nil, and the filling even looks bad in
 > Emacs when overflow-newline-into-fringe is t.

Indeed.  Standalone info displays the double colon which Emacs in the same
xterm doesn't.  Curiouser and curiouser.

 > Is there anything wrong with the following trivial filling change
 > which fixes all these problems?

Probably not but I no longer pretend to understand the subtleties of texinfo
or info.  Please make any such changes that you consider appropriate.

Nick