Re: Variable pitch mode line

[Lars Ingebrigtsen]

Juri Linkov <juri@linkov.net> writes:

>> 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.
>
> Probably not before the standalone Info reader will support HTML.

Perhaps, or perhaps they'll want to have Info pages that look prettier.

>> 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.
>
> It can't be a mode because some Info manuals are split among several files.

I don't follow the logic.  You can make a mode that covers as many
files as you wish.

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