Re: What is a default font?

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: martin rudalics <address@hidden>
> Date: Thu, 5 Dec 2019 19:59:11 +0100
> 
>  > 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.
> 
> OK.  Couldn't you then fix the doc-string of 'face-font' accordingly?

Will do.