[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
- Re: What is a default font?, (continued)
- Re: What is a default font?, Eli Zaretskii, 2019/12/04
- Re: What is a default font?, martin rudalics, 2019/12/04
- Re: What is a default font?, Stefan Monnier, 2019/12/04
- 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 <=
- 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, 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?, martin rudalics, 2019/12/08
- Re: What is a default font?, Eli Zaretskii, 2019/12/08