[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native line numbers landed on master
From: |
Robert Pluim |
Subject: |
Re: Native line numbers landed on master |
Date: |
Thu, 03 Oct 2019 11:10:02 +0200 |
>>>>> On Thu, 3 Oct 2019 06:11:41 +0200, Juanma Barranquero <address@hidden>
>>>>> said:
Juanma> +showing point. Additional faces @code{line-number-Nth-line} and
Juanma> +@code{line-number-Mth-line} can be used to highlight the line
number
Juanma> +of lines multiple of certain numbers which can be customized via
the
Juanma> +variables @code{display-line-numbers-Nth-line} and
Juanma> +@code{display-line-numbers-Mth-line} respectively.
This sentence blew my stack. How about
Additional faces @code{line-number-Nth-line} and
@code{line-number-Mth-line} can be used to highlight the line numbers
of lines which are a multiple of certain numbers. Customize
@code{display-line-numbers-Nth-line} and
@code{display-line-numbers-Mth-line} respectively to set those
numbers.
One other point: if N is a multiple of M, then lines numbers which are
multiples of both N and M get the 'N' face applied, which implies that
you should set N > M in that situation to avoid confusion. Would it
make sense to document that? (enforcing it via custom would be
overkill, I think).
Robert
- Re: Native line numbers landed on master, (continued)
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/01
- Re: Native line numbers landed on master, Ergus, 2019/10/01
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/01
- Re: Native line numbers landed on master, Ergus, 2019/10/01
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/02
- Re: Native line numbers landed on master, Ergus, 2019/10/02
- Re: Native line numbers landed on master, Eli Zaretskii, 2019/10/02
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, martin rudalics, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master,
Robert Pluim <=
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, Robert Pluim, 2019/10/03
- Re: Native line numbers landed on master, Stefan Kangas, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, Yuri D'Elia, 2019/10/03
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/03
- Re: Native line numbers landed on master, Eli Zaretskii, 2019/10/04
- Re: Native line numbers landed on master, Yuri D'Elia, 2019/10/04
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/04
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/05