Re: Variable pitch mode line

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

> We could convert spaces into NBSPs, I guess?  But if the above a
> frequent situation in GNU manuals?

Probably not.

I'm still not sure what problem you're trying to fix with this line of
inquiry.  😀  Having shr do the line breaking or leaving it to the
display engine won't make any difference, performance wise, for the
HTML-based info mode.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no