Option name conventions (was Re: scroll-down with pixel transition)

[Perry E. Metzger]

On Fri, 21 Apr 2017 16:36:56 +0300 Eli Zaretskii <address@hidden> wrote:
> > > > 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.

Cool. Please do let people know if that changes.

Perry
-- 
Perry E. Metzger                address@hidden