[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59347: 29.0.50; `:family` face setting ignored
From: |
Eli Zaretskii |
Subject: |
bug#59347: 29.0.50; `:family` face setting ignored |
Date: |
Thu, 08 Dec 2022 19:44:51 +0200 |
> From: Drew Adams <drew.adams@oracle.com>
> CC: Eli Zaretskii <eliz@gnu.org>,
> "59347@debbugs.gnu.org"
> <59347@debbugs.gnu.org>
> Date: Thu, 8 Dec 2022 17:29:26 +0000
>
> Does some of the "problem" figuring out what to
> do here perhaps come from the (misguided?)
> decision to name some faces (basic/common ones,
> no less) after particular face/font attributes,
> such as "bold"?
No, that's completely unrelated.
> Nevertheless, isn't this perhaps at the root of
> the problem - trying to decide how to deal with
> a face whose name shouts "bold" or "fixed pitch"?
fixed-pitch is not a face attribute, so there's no problem whatsoever
to have a face by that name (assuming its font is specified
accordingly).
> Do we really need/want to have _any_ such faces?
It's convenient, because such a name speaks about itself.
In addition, popular font-handling systems that Emacs supports have
such broad "families" of fonts defined, whether we want that or not.
For example, "Monospace".
- bug#59347: 29.0.50; `:family` face setting ignored, (continued)
- 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, 2022/12/07
- 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 <=
- bug#59347: 29.0.50; `:family` face setting ignored, Yuan Fu, 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, Stefan Monnier, 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, Stefan Monnier, 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, 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
- bug#59347: 29.0.50; `:family` face setting ignored, Gregory Heytings, 2022/12/08