[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
Re: Default Info face, Eli Zaretskii, 2024/12/18
Re: Default Info face, Stefan Kangas, 2024/12/19
Re: Default Info face, Manuel Giraud, 2024/12/19
Re: Default Info face, Juri Linkov, 2024/12/18