Re: scroll-down with pixel transition

[Eli Zaretskii]

> Date: Fri, 21 Apr 2017 09:21:52 -0400
> From: "Perry E. Metzger" <address@hidden>
> Cc: address@hidden, address@hidden
> 
> > > Our convention is to end user option names in '-flag', when they
> > > are for users to set.  Let's document that, if it isn't already.  
> > 
> > It is not currently documented in code conventions.
> > 
> 
> If this really is the convention, I should change the option name I'm
> about to add (related to column number display.)

I see no reason to do that at this time, not until we agree that this
is the convention and document it as such.

Thanks.