emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Default Info face


From: Manuel Giraud
Subject: Re: Default Info face
Date: Thu, 19 Dec 2024 10:02:28 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Eli Zaretskii <eliz@gnu.org> writes:

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

I don't think I'd want to add a minor mode just for this.  I'll try Juri
solution and see if it fits the bill and then, I guess we could safely
close this thread.  Thanks.
-- 
Manuel Giraud



reply via email to

[Prev in Thread] Current Thread [Next in Thread]