Re: Native line numbers, final testing

[Kaushal Modi]

On Tue, Jul 4, 2017, 7:00 AM Filipe Silva <address@hidden> wrote:

Eli, one more question are we able to customize the how the faces of the numbers look?

Yes, a separate face is already there, but by default it is set to look just like the other line numbers. 

The face is line-number-current-line. The default line number face is line-number.

--

Kaushal Modi