[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposit
From: |
Lars Ingebrigtsen |
Subject: |
bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be |
Date: |
Sun, 01 Nov 2020 13:41:30 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> The other part of the problem, which could be Windows-specific, is
> that the MS-Windows font back-ends don't know about "Mono Serif"
> family. Do you always get a font with serifs when the family is "Mono
> Serif"? If so, we could perhaps teach MS-Windows do the same. But
> the result might be that both faces get the same font -- are we okay
> with that? One place where that could matter is in Info.
It looks like DejaVu Mono only has one variation, and it's... with
serifs?
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be,
Lars Ingebrigtsen <=
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Eli Zaretskii, 2020/11/01
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Lars Ingebrigtsen, 2020/11/02
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Eli Zaretskii, 2020/11/02
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Lars Ingebrigtsen, 2020/11/03
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Eli Zaretskii, 2020/11/03
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Lars Ingebrigtsen, 2020/11/05
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Eli Zaretskii, 2020/11/05
- bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be, Stefan Kangas, 2020/11/03