Re: What is a default font?

[Eli Zaretskii]

> Date: Thu, 05 Dec 2019 21:13:56 +0200
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden, address@hidden
> 
> >  > 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.

Done.