[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Native line numbers landed on master

From: Eli Zaretskii
Subject: Re: Native line numbers landed on master
Date: Tue, 11 Jul 2017 20:33:54 +0300

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]