Eli Zaretskii <eliz@gnu.org> writes:

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

Cheers,
Nico