Re: Default Info face

[Manuel Giraud]

Eli Zaretskii <eliz@gnu.org> writes:

[...]

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

Ok.

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

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