[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57555: 29.0.50; variable-pitch font issue with medium weight default
From: |
Lars Ingebrigtsen |
Subject: |
bug#57555: 29.0.50; variable-pitch font issue with medium weight default font |
Date: |
Wed, 07 Sep 2022 14:44:01 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> As far as I can tell, your patch just reverted the code back to the
>> state before this:
>>
>> commit bf0d3f76dcfe7881cb3058169b51cf6602fdcdcb
>> Author: Kenichi Handa <handa@gnu.org>
>> AuthorDate: Sun Jul 20 00:18:23 2014 +0900
>>
>> 2014-07-19 Kenichi Handa <handa@gnu.org>
>>
>> * xfaces.c (realize_x_face): Call font_load_for_lface with no
>> mandatory font spec (Bug#17973).
>>
>> 2014-07-19 Stefan Monnier <monnier@iro.umontreal.ca>
>>
>> * font.c (font_score): Return the worst score if the size of
>> ENTITY is wrong by more than a factor 2 (Bug#17973).
>
> Yes. As I explained back then.
>
>> So we've come full circle.
>
> No, we haven't.
In what way isn't that "full circle"?
> Emacs works as expected: it requests a medium-weight
> font for the variable-pitch face, because the fixed-pitch face was
> customized to use a medium weight. Since the font Amin wants to use
> for variable-pitch doesn't have a medium variant, Emacs selects
> another one. There's no real problem I see here, except an issue with
> user expectations not being satisfied.
I think that the vast majority of users would want Emacs to choose a
different weight, but use the same font, which is what we had before we
went full circle.
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, (continued)
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Amin Bandali, 2022/09/05
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/05
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Gregory Heytings, 2022/09/05
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/05
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Gregory Heytings, 2022/09/06
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/06
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Gregory Heytings, 2022/09/06
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/06
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Lars Ingebrigtsen, 2022/09/06
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/06
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font,
Lars Ingebrigtsen <=
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/07
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Lars Ingebrigtsen, 2022/09/08
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Eli Zaretskii, 2022/09/08
- bug#57555: 29.0.50; variable-pitch font issue with medium weight default font, Amin Bandali, 2022/09/05