[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: |
Eli Zaretskii |
Subject: |
bug#44316: 26.3; Faces `fixed-pitch' and `fixed-pitch-serif' are opposite what they should be |
Date: |
Thu, 05 Nov 2020 17:39:18 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: stefankangas@gmail.com, 44316@debbugs.gnu.org
> Date: Thu, 05 Nov 2020 15:57:29 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> >> > 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"?
>
> [...]
>
> > Like this (from faces.el):
> >
> > (defface fixed-pitch
> > '((t :family "Monospace"))
> > "The basic fixed-pitch face."
> > :group 'basic-faces)
> >
> > (defface fixed-pitch-serif
> > '((t :family "Monospace Serif"))
> > "The basic fixed-pitch face with serifs."
> > :group 'basic-faces)
>
> Oh, right. Then the answer is "the latter". :-)
So the conclusion, AFAIU, is that this is just how this font family
behaves.