Re: What is a default font?

[Eli Zaretskii]

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