Re: Native line numbers landed on master

[Eli Zaretskii]

> From: Robert Pluim <address@hidden>
> Date: Tue, 11 Jul 2017 18:12:51 +0200
> 
> > Btw, if I were to do this, what other face attributes would you expect
> > to see removed from the empty fields, in addition to background color?
> > Or do you simply want them to be displayed using the line-number face
> > instead?  (That could be a different font size.)
> 
> I'd expect it to use the line-number face. I confidently predict
> opinions will differ here :-)

Well, using line-number is definitely easier to implement than what I
originally thought you wanted.  But let's see those opinions first ;-)

> BTW, since we're discussing options, I definitely don't want a
> configuration variable, let's just decide one way or the other.

Agreed.