Re: Native line numbers landed on master

[Yuri Khan]

On Thu, 3 Oct 2019 at 11:12, Juanma Barranquero <address@hidden> wrote:

> Faces are now 'line-number-Nth-line' and 'line-number-Mth-line', and 
> customizable options to set the numbers are 'display-line-numbers-Nth-line' 
> and 'display-line-numbers-Mth-line'. Better names, or wording, or 
> customization type, are welcome.

I believe in rulers and graphing these are called major ticks and
minor ticks, respectively.