[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: |
Mon, 02 Nov 2020 16:09:23 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> It looks like DejaVu Mono only has one variation, and it's... with
>> serifs?
>
> No, it's without serifs, AFAICS.
I'm not sure. The "i" here has serifs, surely?
But if this is a serifed face, the serifs aren't very... dominant.
> But that's not what I was asking: the "Mono Serif" family could
> include more than just DejaVu Mono. I'm asking whether asking for
> that family always brings fonts with serifs, or sometimes you get
> fonts without serifs? If you get DejaVu Mono, I guess the answer is
> "the latter"?
You do I ask for the family?
--
(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, 2020/11/01
- 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 <=
- 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