Re: master d014a5e: Use fixed-pitch font for display-line-numbers

[Yuri Khan]

On Wed, Jul 12, 2017 at 9:36 PM, Eli Zaretskii <address@hidden> wrote:
>> > Niggling, but I think it would be better to simply add the existing
>> > monospace serif face to the inherits, e.g.:
>> >
>> >   (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.

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’.