[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: |
Fri, 21 Apr 2017 22:31:16 -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. ]]]
> > 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?
--
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, Richard Stallman, 2017/04/20
- 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, 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 <=
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/22
- Re: scroll-down with pixel transition, Richard Stallman, 2017/04/22
- Re: scroll-down with pixel transition, Stefan Monnier, 2017/04/23
- Re: scroll-down with pixel transition, Richard Stallman, 2017/04/25
- Re: scroll-down with pixel transition, Dmitry Gutov, 2017/04/25
- Re: scroll-down with pixel transition, Stefan Monnier, 2017/04/25
- Re: scroll-down with pixel transition, Richard Stallman, 2017/04/26
- Re: scroll-down with pixel transition, Richard Stallman, 2017/04/26
- Re: scroll-down with pixel transition, Clément Pit-Claudel, 2017/04/15
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/15