[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default Info face
From: |
Stefan Kangas |
Subject: |
Re: Default Info face |
Date: |
Thu, 19 Dec 2024 06:06:12 -0500 |
Manuel Giraud via "Emacs development discussions." <emacs-devel@gnu.org>
writes:
> Eli Zaretskii <eliz@gnu.org> writes:
>
>> 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.
Isn't the point of adding a new face to be able to customize it? IOW,
you could make the new `info-default` face inherit `variable-pitch`, if
only it existed. So there is some value to adding an `info-default`
face.
What am I missing?
- Re: Default Info face, (continued)
Re: Default Info face, Eric S Fraga, 2024/12/18
Re: Default Info face, Eli Zaretskii, 2024/12/18
Re: Default Info face,
Stefan Kangas <=
Re: Default Info face, Manuel Giraud, 2024/12/19
Re: Default Info face, Juri Linkov, 2024/12/18