Re: Default Info face

[Eli Zaretskii <eliz@gnu.org>]

> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: emacs-devel@gnu.org
> Date: Wed, 18 Dec 2024 15:50:06 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > 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.

That's specific to the font your system uses when you say
"variable-pitch".  The results are not very predictable, and depend on
the OS and the fonts actually installed.

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

So why is it so important to use variable-pitch face for Info?  What
are the advantages of that?