Re: Variable pitch mode line

[Eli Zaretskii]

> From: Tassilo Horn <tsdh@gnu.org>
> Date: Thu, 23 Dec 2021 20:27:12 +0100
> Cc: Lars Ingebrigtsen <larsi@gnus.org>, emacs-devel@gnu.org
> 
> Juri Linkov <juri@linkov.net> writes:
> 
> >> BTW: I would love to have pixel-filled, variable pitch info docs.
> >> `variable-pitch-mode' in info has the bad effect that also code
> >> samples or ASCII art [like the cons box&arrows in (info "(elisp)
> >> Building Lists")] then use the variable pitch font and misalign.
> >
> > 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.
> 
> What's the problem with info?  I mean, we use special environments such
> as `@example ... @end example` in order to mark non-prose text in the
> texi files.  Right now, they seem to only add some indentation in the
> info files.  But couldn't makeinfo add some hints (like some invisible
> chars) so that info readers could detect such non-prose text?

It could, perhaps, but then it would have to be done by the Texinfo
project, not by us.