[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 20:04:26 +0200 |
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> From: martin rudalics <address@hidden>
> 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?
Why are you bothered by that? Why not (face-font 'default) instead?
- 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, 2019/12/05
- Re: What is a default font?,
Eli Zaretskii <=
- 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
- Re: What is a default font?, martin rudalics, 2019/12/07