On Wed, Dec 18, 2024 at 12:18:27PM +0000, Eric S Fraga wrote:
> 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,

Absolutely.

> with the default being to simply inherit from default?

yes, perhaps.

Cheers
-- 
t