[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 17:03:18 +0200 |
> From: Štěpán Němec <address@hidden>
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> Date: Wed, 04 Dec 2019 20:38:26 +0100
>
> @defun default-font-width
> This function returns the average width in pixels of the font used by
> -the current buffer's default face.
> +the selected frame's default face.
> @end defun
Thanks. However, it is incorrect not to mention the current buffer at
all, because these functions are sensitive to face remapping, which is
a buffer-local feature.
I think Stefan and Martin in their followup messages described the
situation correctly. I do agree that documentation could use some
clarification in this area.
- 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, 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