[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 21:13:56 +0200

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

reply via email to

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