[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master d014a5e: Use fixed-pitch font for display-line-numbers
From: |
Eli Zaretskii |
Subject: |
Re: master d014a5e: Use fixed-pitch font for display-line-numbers |
Date: |
Thu, 13 Jul 2017 18:57:29 +0300 |
> From: Yuri Khan <address@hidden>
> Date: Thu, 13 Jul 2017 13:13:02 +0700
> Cc: Mark Oteiza <address@hidden>, Emacs developers <address@hidden>
>
> >> > (fixed-pitch-serif shadow default)
> >>
> >> Why fixed-pitch-serif? fixed-pitch should be sufficient.
> >
> > I'm not sure I understand: sufficient for what? These are two
> > different families.
>
> Maybe, but the name ‘fixed-pitch-serif’ suggests a particular
> presentation (a serif font), while ‘fixed-pitch’ does not.
AFAIU, fixed-pitch just means Sans Serif, so it is also a particular
presentation in that sense.
> Based on face names alone, I would expect that it is more likely for
> ‘fixed-pitch’ to be the same family as ‘default’ than for
> ‘fixed-pitch-serif’.
What is that expectation based on? I don't see anything in the
definitions of these faces and the family aliases they use to suggest
something other than simple heuristics regarding good fonts available
on various platforms. And fixed-pitch definitely doesn't yield the
same font as the default face on my system. I tried to explain the
reasons in another message regarding the same issue.
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, (continued)
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Mark Oteiza, 2017/07/11
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Nicolas Petton, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, James Cloos, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Nicolas Petton, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers,
Eli Zaretskii <=
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/15