emacs-devel
[Top][All Lists]
Advanced

[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?



reply via email to

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