[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: |
Fri, 06 Dec 2019 17:45:23 +0200 |
> 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.
- Re: What is a default font?, (continued)
- Re: What is a default font?, martin rudalics, 2019/12/05
- Re: What is a default font?, Eli Zaretskii, 2019/12/05
- Re: What is a default font?, martin rudalics, 2019/12/05
- Re: What is a default font?, Eli Zaretskii, 2019/12/05
- Re: What is a default font?, martin rudalics, 2019/12/05
- Re: What is a default font?, Eli Zaretskii, 2019/12/05
- Re: What is a default font?, martin rudalics, 2019/12/06
- Re: What is a default font?, Eli Zaretskii, 2019/12/06
- Re: What is a default font?, martin rudalics, 2019/12/07
- Re: What is a default font?, Eli Zaretskii, 2019/12/07
- Re: What is a default font?,
Eli Zaretskii <=
- Re: What is a default font?, martin rudalics, 2019/12/07
- Re: What is a default font?, Eli Zaretskii, 2019/12/07
- Re: What is a default font?, martin rudalics, 2019/12/08
- Re: What is a default font?, Eli Zaretskii, 2019/12/08