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: Wed, 18 Dec 2024 13:46:11 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

<tomas@tuxteam.de> writes:

> On Wed, Dec 18, 2024 at 11:00:54AM +0100, Manuel Giraud via Emacs development 
> discussions. wrote:
>> Hi,
>> 
>> If I'm not mistaken, currently, the face used for the text body of Info
>> nodes is `default'.  I was wondering if there would be any interest in
>> having an `info' face defined for this usage.  I imagine that it could
>> inherit for `variable-pitch-text' as "shr.el" is doing.  I also guess
>> that it would have an impact on some sub-faces (like `info-title*' for
>> example).  WDYT?
>
> As long as I can define variable-pitch to be a fixed-pitch font ;-P
>
> More seriously: I explicitly set as much as I can to be a fixed pitch
> font. It works best with my combo of screen and sight. I think it's
> a bad idea to encode a font property into a base font's name. It feels
> like forcing others to swallow one's own esthetic preferences.

This will, of course, still be possible to have everything using a fixed
font.  But OTOH, currently, besides "M-x variable-pitch-mode" I don't
think there is a way to have Info pages (only) to be displayed as
variable-pitch.

Thanks for your input.
-- 
Manuel Giraud



reply via email to

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