[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: scroll-down with pixel transition
From: |
Stefan Monnier |
Subject: |
Re: scroll-down with pixel transition |
Date: |
Sun, 23 Apr 2017 08:32:58 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) |
> Stefan, why did you remove that convention from the Emacs Lisp Manual?
As already explained, because such hungarian-style notation doesn't let
you change the variable's type without renaming it. For -face
and -function variables it's usually not a problem, but in my
experience, it's common for boolean config vars to want to evolve
seamlessly to a new type by adding new meanings to non-nil non-t values.
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).
Stefan
- Re: scroll-down with pixel transition, (continued)
- 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, 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 <=
- 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
- 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