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.