[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59347: 29.0.50; `:family` face setting ignored
From: |
Stefan Monnier |
Subject: |
bug#59347: 29.0.50; `:family` face setting ignored |
Date: |
Wed, 07 Dec 2022 19:27:28 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> My question was not about this basic relative importance, it was about
>> something else: when none of the fonts of the given FAMILY fits the font
>> spec, why do you consider keeping the family to be more important than
>> keeping the weight?
> I don't understand your question. If we agree that there is an order of
> importance in the attributes of a font spec,
Why should we agree on that?
When I specify the `:family` property on the `variable-pitch` face,
I definitely want it to take precedence over the `:weight` of the
default face, yes.
But when I specify the `weight` property of the `bold` face, it's not
clear at all that the `:family` of the default face should take precedence
over the `:weight` of the `bold` face.
FWIW, I've been running with your patch and I like the result. I think
it's better overall, but I suspect that we still have a fundamental
problem with this notion of precedence/ordering.
Maybe the ordering should depend on the "stacking order" of the faces
and their properties. I.e. instead of merging `bold+variable-pitch+default` to
get
a set of properties on which we apply a globally-imposed ordering, we
could keep track of the relative ordering of the properties: `bold` was
on top, so the `:weight` property comes first, then came
`variable-pitch` so its `:family` property comes second and the second
comes afterwards.
So `bold+variable-pitch+default` could result in a different font than
`variable-pitch+bold+default` even if the combined properties (i.e. the
merged face) are identical.
Stefan
- bug#59347: 29.0.50; `:family` face setting ignored, Eli Zaretskii, 2022/12/04
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/05
- bug#59347: 29.0.50; `:family` face setting ignored, Eli Zaretskii, 2022/12/06
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/07
- bug#59347: 29.0.50; `:family` face setting ignored,
Stefan Monnier <=
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/07
- bug#59347: 29.0.50; `:family` face setting ignored, Eli Zaretskii, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Eli Zaretskii, 2022/12/08
- Message not available
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Stefan Monnier, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Drew Adams, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Eli Zaretskii, 2022/12/08
- bug#59347: 29.0.50; `:family` face setting ignored, Yuan Fu, 2022/12/08