[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 17:18:19 +0200 |
>>>>> On Thu, 3 Oct 2019 16:47:38 +0200, Juanma Barranquero <address@hidden>
>>>>> said:
>> Would it make sense to document that?
Juanma> I don't think so. It's kind of harmless, and the docstring for
Juanma> display-line-numbers-Nth-line already says that it takes precedence.
Iʼd missed that. Looks good to me.
Robert
- Re: Native line numbers landed on master, (continued)
- 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, 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, 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
- Re: Native line numbers landed on master, Juanma Barranquero, 2019/10/06
- Re: Native line numbers landed on master, Robert Pluim, 2019/10/07