[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:32:33 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Juri Linkov <juri@linkov.net> writes:
>> 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?
>
> Can you achieve this by face remapping?
> For example, in the Info buffer:
>
> (face-remap-add-relative 'default 'variable-pitch)
Thanks. Yes this works and there is also `variable-pitch-mode' that I
can add to `Info-mode-hook'.
--
Manuel Giraud
Re: Default Info face, Juri Linkov, 2024/12/18
- Re: Default Info face,
Manuel Giraud <=