Re: Variable pitch mode line

[Lars Ingebrigtsen]

Juri Linkov <juri@linkov.net> writes:

> The only way to reliably support variable pitch in the Info reader
> is by using HTML output from Texinfo and rendering it with eww/shr.
>
> But the problem is that most GNU/Linux distributions still don't include
> Info manuals in the HTML format alongside with the Info format.
> Thus we are stuck with monospaced Info manuals forever.

Well, not necessarily.  If we started making HTML the preferred format
for the `C-h i' etc, then they'd probably follow after a while.  And
it'd be fine for some manuals to be in HTML while other remain in INFO.

But nobody's yet to make an info-html-minor mode (or a major mode a la
eww building upon shr), so it's still academic.

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