Re: scroll-down with pixel transition

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden,
>       address@hidden, address@hidden,
>       address@hidden
> Date: Fri, 21 Apr 2017 22:31:16 -0400
> 
>   > > 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.
> 
> Would you like to add it?

I don't necessarily mind, but others evidently do, which is why this
was actually removed from the code conventions in Emacs 23 by Stefan.