[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:51:06 +0200

> Cc: address@hidden, address@hidden
> From: martin rudalics <address@hidden>
> Date: Thu, 5 Dec 2019 19:24:23 +0100
>  > Why are you bothered by that?  Why not (face-font 'default) instead?
> Is that the default for a new frame?

No.  For a frame that was not yet created there are too many unknowns
for face-font to be able to help you efficiently.  The best you can do
is assume the new frame will have the same faces as the selected one.

reply via email to

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