[Top][All Lists]

[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]