Re: Default Info face

[Eli Zaretskii]

> Date: Wed, 18 Dec 2024 11:00:54 +0100
> From:  Manuel Giraud via "Emacs development discussions." 
> <emacs-devel@gnu.org>
> If I'm not mistaken, currently, the face used for the text body of Info
> nodes is `default'.  I was wondering if there would be any interest in
> having an `info' face defined for this usage.  I imagine that it could
> inherit for `variable-pitch-text' as "shr.el" is doing.  I also guess
> that it would have an impact on some sub-faces (like `info-title*' for
> example).  WDYT?

Info manuals don't look nice with variable-pitch fonts because
'makeinfo' fills and justifies lines assuming a fixed-pitch font, then
inserts hard newlines between lines.  Try making your default face use
a variable-pitch font, and you will see that Info manuals look ugly:
some lines are too long, others too short.

Variable-pitch fonts could make sense if our documentation was
refilled, like we do in shr.el for HTML content.  But that will not
work with Info, I think, at least not in the near future.

If variable-pitch face is out, what other advantages could we have by
using a specialized face in Info?