[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: |
Wed, 12 Jul 2017 17:27:01 +0300 |
> Date: Wed, 12 Jul 2017 09:11:43 +0200
> From: martin rudalics <address@hidden>
>
> > Should that
> > variable name be instead "display-line-numbers-width"?
>
> I think so too.
Feel free to fix as you see fit.
> Also, the latest fix of the doc-string of ‘display-line-numbers’
> introduced a few typos. Maybe it should be even rewritten as sketched
> below (provided I managed to grasp the sense of it correctly).
Fine with me, thanks.
Re: Native line numbers landed on master, Kaushal Modi, 2017/07/11
Re: Native line numbers landed on master, Yuri D'Elia, 2017/07/15