[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What is a default font?

From: Eli Zaretskii
Subject: Re: What is a default font?
Date: Thu, 05 Dec 2019 20:04:26 +0200

> Cc: Eli Zaretskii <address@hidden>, address@hidden
> From: martin rudalics <address@hidden>
> Date: Thu, 5 Dec 2019 18:54:17 +0100
>  > Yes, you can, but only if you know in which frame it will be displayed
>  > (or you can approximate it by using a frame "similar" to the one that
>  > will be used).
> I guess you're right.  (face-font 'default t) is a bummer, at least
> here.  Probably because 'face-new-frame-defaults' is inherently
> unspecified.  Does anyone know how to populate that?  Where is it
> used?

Why are you bothered by that?  Why not (face-font 'default) instead?

reply via email to

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