[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: scroll-down with pixel transition
From: |
Richard Stallman |
Subject: |
Re: scroll-down with pixel transition |
Date: |
Thu, 20 Apr 2017 22:05:25 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> But for the patch Tak provided, do we want to continue with the unspoken
> convention of not ending vars in "-p"?
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.
I don't know whether we have any particular convention for t-or-nil
variables that aren't user options.
--
Dr Richard Stallman
President, Free Software Foundation (gnu.org, fsf.org)
Internet Hall-of-Famer (internethalloffame.org)
Skype: No way! See stallman.org/skype.html.
- Re: scroll-down with pixel transition, (continued)
- Re: scroll-down with pixel transition, Kaushal Modi, 2017/04/19
- Re: scroll-down with pixel transition, Kaushal Modi, 2017/04/19
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/19
- Re: scroll-down with pixel transition, Stefan Monnier, 2017/04/19
- Re: scroll-down with pixel transition, Kaushal Modi, 2017/04/19
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/19
- Re: scroll-down with pixel transition, Kaushal Modi, 2017/04/19
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/19
- RE: scroll-down with pixel transition, Drew Adams, 2017/04/19
- Re: scroll-down with pixel transition, Lars Brinkhoff, 2017/04/19
- Re: scroll-down with pixel transition,
Richard Stallman <=
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/21
- Re: scroll-down with pixel transition, Tak Kunihiro, 2017/04/21
- Re: scroll-down with pixel transition, Tak Kunihiro, 2017/04/30
- Re: scroll-down with pixel transition, Perry E. Metzger, 2017/04/21
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/21
- Option name conventions (was Re: scroll-down with pixel transition), Perry E. Metzger, 2017/04/21
- Re: scroll-down with pixel transition, Stefan Monnier, 2017/04/21
- RE: scroll-down with pixel transition, Drew Adams, 2017/04/21
- Re: scroll-down with pixel transition, Richard Stallman, 2017/04/21
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/22