[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default Info face
|
From: |
Eric S Fraga |
|
Subject: |
Re: Default Info face |
|
Date: |
Wed, 18 Dec 2024 12:18:27 +0000 |
|
User-agent: |
gnus (Emacs 31.0.50) |
Response below/inline for email tomas@tuxteam.de wrote:
> (original email sent 18 Dec 2024 at 11:22)
>
> I think it's a bad idea to encode a font property into a base font's
> name.
+1
But the OP's suggestion of a different face for Info mode may be a good
idea, with the default being to simply inherit from default?
--
Eric S Fraga via gnus (Emacs 31.0.50 2024-12-17) on Debian 12.6
Re: Default Info face, Juri Linkov, 2024/12/18