Re: Default Info face

[Manuel Giraud via "Emacs development discussions." <emacs-devel@gnu.org>]

Stefan Kangas <stefankangas@gmail.com> writes:

> 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.

Yes, my idea was to have this new `info-default' inheriting from
`variable-pitch-text'.  But it can (should) inherit from `default' by
default.

That said, this thread shows that there won't be much interest in this
feature.
-- 
Manuel Giraud