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

[Eli Zaretskii]

> From: Nicolas Petton <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Fri, 14 Jul 2017 13:16:02 +0200
> 
> > Fine.  I've now reverted the change which triggered these discussions.
> > From now on, if someone has their default face set to use a
> > variable-pitch font, they will have to customize line-number face to
> > countermand that.  (Or maybe someone else will come up with a better
> > solution.)  Sorry, James: I tried.
> 
> I didn't mean to make you revert this commit if you disagree, but rather
> to discuss and try to find the best way to do this.

I didn't mean to say that you meant that, just that your opinion was
the proverbial straw.

If someone comes up with a better way of doing this than what I found,
we can still make whatever changes that takes.