[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57962: 29.0.50; Odd font choices
From: |
Eli Zaretskii |
Subject: |
bug#57962: 29.0.50; Odd font choices |
Date: |
Fri, 14 Oct 2022 15:07:31 +0300 |
> Cc: 57962@debbugs.gnu.org
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Fri, 14 Oct 2022 13:41:12 +0200
>
> So -- we're using the `fixed-pitch' face for keyboard stuff because the
> `default' font may well use a proportional font. (It's unusual, but
> feasible.)
>
> But in the common case, where `default' uses a fixed width font, then I
> think the `fixed-pitch' face should use exactly the same font.
It depends on whether we want the fixed-pitch face to look differently
from the default face, even when the default face uses a monospaced
font. I always thought that fixed-pitch face was supposed to look
differently.
> Is there some easy way to achieve this, by any chance?
Did you try using font-spec with (:spacing 'mono) ?
bug#57962: 29.0.50; Odd font choices,
Eli Zaretskii <=
- bug#57962: 29.0.50; Odd font choices, Lars Ingebrigtsen, 2022/10/14
- bug#57962: 29.0.50; Odd font choices, Eli Zaretskii, 2022/10/14
- bug#57962: 29.0.50; Odd font choices, Lars Ingebrigtsen, 2022/10/14
- bug#57962: 29.0.50; Odd font choices, Eli Zaretskii, 2022/10/14
- bug#57962: 29.0.50; Odd font choices, Lars Ingebrigtsen, 2022/10/14
- bug#57962: 29.0.50; Odd font choices, Eli Zaretskii, 2022/10/14
- bug#57962: 29.0.50; Odd font choices, Lars Ingebrigtsen, 2022/10/16
- bug#57962: 29.0.50; Odd font choices, Eli Zaretskii, 2022/10/16
- bug#57962: 29.0.50; Odd font choices, Lars Ingebrigtsen, 2022/10/16
- bug#57962: 29.0.50; Odd font choices, Eli Zaretskii, 2022/10/16