[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 22:02:24 +0300 |
> From: Yuri Khan <address@hidden>
> Date: Fri, 14 Jul 2017 01:07:21 +0700
> Cc: Mark Oteiza <address@hidden>, Emacs developers <address@hidden>
>
> On Thu, Jul 13, 2017 at 10:57 PM, Eli Zaretskii <address@hidden> wrote:
>
> >> 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.
>
> The name ‘fixed-pitch’ literally means only the fixedness of pitch and
> says nothing about presence or absence of serifs.
The name alone might suggest that, but the code tells a different
story. I thought you looked in the code and saw there something I
missed, thus my questions.
> Anyway, with that history, it should not be used for line numbers,
> which should strive to use the same typeface as default if at all
> possible.
I did strive, as "git log" will show. That's the best I could come up
with, without complicating this stuff even more. IMO, it's not that
bad, so "should not be used for line numbers" sounds a bit radical to
me.
> Having three different typefaces for the buffer text, line numbers,
> and menu bar, is just offensive.
You forgot tooltips and the font used for the caption bar.
> > And fixed-pitch definitely doesn't yield the
> > same font as the default face on my system.
>
> I would suggest that is a bug.
It's not a bug, since the code was written to produce that effect. (I
think similar issue happens in the NS build.)
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, (continued)
- 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, 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 <=
- 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
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Stefan Monnier, 2017/07/13