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

[Stefan Monnier]

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

I think this is mostly a historical accident.  I think it's reasonable
for the user to expect that fixed-pitch is "any fixed-pitch font,
ideally close to the `default` font".  We could add
a fixed-pitch-sans-serif face if there's a need for such a thing.


        Stefan