Re: Default Info face

[Manuel Giraud via "Emacs development discussions." <emacs-devel@gnu.org>]

Eli Zaretskii <eliz@gnu.org> writes:

>> 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.

I've just tried and I don't see more ugliness when using a
variable-pitch font in Info-mode.  The lines "too long" and "too short"
are already there when using a fixed-pitch font anyway.

[...]

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

Yes, if you rule out variable-pitch, there is not much left to this case
then.
-- 
Manuel Giraud