Re: scroll-down with pixel transition

[Perry E. Metzger]

On Fri, 21 Apr 2017 09:26:09 +0300 Eli Zaretskii <address@hidden> wrote:
> > From: Richard Stallman <address@hidden>
> > Date: Thu, 20 Apr 2017 22:05:25 -0400
> > Cc: address@hidden, address@hidden,
> > address@hidden, 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.) Or perhaps I
misunderstand the convention?

Perry
-- 
Perry E. Metzger                address@hidden