[Top][All Lists]

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

Re: What is a default font?

From: martin rudalics
Subject: Re: What is a default font?
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?

Thanks, martin

reply via email to

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