[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: |
Wed, 12 Jul 2017 17:25:07 +0300 |
> Date: Tue, 11 Jul 2017 23:18:00 -0400
> From: Mark Oteiza <address@hidden>
> Cc: address@hidden
>
> > One disadvantage of that is that now any changes to fixed-pitch-serif
> > must also consider their effect on line-number.
>
> Ah, I considered it a good thing to have one less place where
> a particular typeface (well, in this case an alias) is specified.
> I think of fixed-pitch, fixed-pitch-serif, and variable-pitch as places
> to pick a family so other faces can inherit from them by default.
>
> Put another way, one would only have to change one face to change the
> monospace serif, instead of however each face specifying :family
> "Monospace Serif" or some other typeface. Though, perhaps I'm
> misunderstanding face-font-family-alternatives.
That's indeed the dilemma here: on the one hand this makes it easier
to change several faces, but OTOH the change must also satisfy the
requirements and user expectations of each of the inheriting faces. I
don't know which of these is more important. In practice, we did have
a couple of cases where some face was changed, and many moons later
someone complained that this had an adverse effect on one of the
inheriting faces.
- 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/11
- 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 <=
- 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