[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 18:54:17 +0100 |
> Yes, you can, but only if you know in which frame it will be displayed
> (or you can approximate it by using a frame "similar" to the one that
> will be used).
I guess you're right. (face-font 'default t) is a bummer, at least
here. Probably because 'face-new-frame-defaults' is inherently
unspecified. Does anyone know how to populate that? Where is it
used?
martin
- What is a default font?, martin rudalics, 2019/12/03
- 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 <=
- 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, 2019/12/06