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

[Eli Zaretskii]

> From: Nicolas Petton <address@hidden>
> Cc: address@hidden
> Date: Thu, 13 Jul 2017 22:18:20 +0200
> 
> I think that the least surprising behavior would be to use the same
> fixed width font family for line numbers and for buffer content by
> default.

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.