[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: |
Tue, 11 Jul 2017 05:29:50 +0300 |
> From: John Wiegley <address@hidden>
> Cc: Alex <address@hidden>, address@hidden
> Date: Mon, 10 Jul 2017 15:19:18 -0700
>
> >>>>> "EZ" == Eli Zaretskii <address@hidden> writes:
>
> >> Why did you choose the name line-number-display-width over, e.g.,
> >> display-line-number-width? It seems every other related variable has a
> >> prefix of display-.
>
> EZ> Not every other one: the faces start with line-number.
>
> If the defgroup is display-line-numbers, shouldn't all customization options
> use that prefix?
They should, and they do, AFAICT.
- Re: Native line numbers landed on master, (continued)
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/11
- Re: Native line numbers landed on master, Alex, 2017/07/11
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/12
- Re: Native line numbers landed on master, Alex, 2017/07/16
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/16
- Re: Native line numbers landed on master, Alex, 2017/07/16
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/17
- Re: Native line numbers landed on master, Alex, 2017/07/17
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/22
- Re: Native line numbers landed on master, John Wiegley, 2017/07/10
- Re: Native line numbers landed on master,
Eli Zaretskii <=
- Re: Native line numbers landed on master, Stefan Monnier, 2017/07/11
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/11
- Re: Native line numbers landed on master, Stefan Monnier, 2017/07/11
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/11
- Re: Native line numbers landed on master, Stefan Monnier, 2017/07/11
- Re: Native line numbers landed on master, Eli Zaretskii, 2017/07/11
- Re: Native line numbers landed on master, Stefan Monnier, 2017/07/11
- Sharp-quoting function symbols (Was: Native line numbers landed on master), Kaushal Modi, 2017/07/11
Re: Native line numbers landed on master, Filipe Silva, 2017/07/10
Re: Native line numbers landed on master, Robert Pluim, 2017/07/11