[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: |
Tue, 25 Apr 2017 15:40:29 -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. ]]]
> Furthermore, in my experience using the FOO instead of FOO-flag name
> works just as well (`toto-use-zipa' is just as clear as
> `toto-use-zipa-flag`, and reads even better in the code).
One purpose that '-flag' serves is to show that it's a variable
that enables or disables a feature.
> As already explained, because such hungarian-style notation doesn't let
> you change the variable's type without renaming it.
Perhaps we shouldn't do that. That sort of thing was a good idea
back when it was important to economize on symbols. Nowadays,
why not make a second variable to specify the further information?
--
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, 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
- 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 <=
- 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
- Re: scroll-down with pixel transition, Clément Pit-Claudel, 2017/04/15
- Re: scroll-down with pixel transition, Yuri Khan, 2017/04/13
- Re: scroll-down with pixel transition, Eli Zaretskii, 2017/04/13