[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Native line numbers landed on master

From: Juanma Barranquero
Subject: Re: Native line numbers landed on master
Date: Fri, 4 Oct 2019 04:01:16 +0200

On Thu, Oct 3, 2019 at 8:40 PM Eli Zaretskii <address@hidden> wrote:

> FWIW, I actually considered it when Juanma asked for better names, but
> eventually decided that such names will be too obscure, except for few
> initiated people.  I think -M and -N is much easier to understand and
> remember.

The more I think about it, the more I like "major tick" and "minor tick". They are a bit obscure, yeah. OTOH, they reflect exactly what the feature is intended to do (at least,what I intended it to do), and "major" vs "minor", and its association with rulers, clearly states that major ticks have precedence over minor ones.

reply via email to

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