Re: Default Info face

[Eli Zaretskii]

> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: emacs-devel@gnu.org
> Date: Wed, 18 Dec 2024 17:50:48 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > So why is it so important to use variable-pitch face for Info?  What
> > are the advantages of that?
> 
> Well, I'm far from an expert on the matter but it is said™ that for
> reading long text a proportional font is easier on the eyes.  I think
> most books are printed with a proportional font.

Well, that's true, but we in Emacs are staring at fixed-pitch text all
day long, and are supposed to be used to it.

I don't think I'd object to something like Info-variable-pitch-mode,
as an optional minor mode, but it could be quite a lot of work, since
we have other faces in Info manuals that should look well with such a
default.