[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: scroll-down with pixel transition
From: |
Lars Brinkhoff |
Subject: |
Re: scroll-down with pixel transition |
Date: |
Wed, 19 Apr 2017 20:21:19 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Drew Adams wrote:
>> I'd like first to hear what people think about this new convention.
>
> I oppose it - just one opinion. On the contrary, I think that we
> should encourage `-p' for Boolean non-option variables, and we should
> have a different naming convention (e.g. `-flag') for Boolean options.
I'm not sure this is a reason for or against or anything at all really,
but I note that Common Lisp doesn't seem have any variables using the -p
convention.
The same goes for Maclisp. Which presumably was an inspiration for
Emacs Lisp.
- Re: scroll-down with pixel transition, (continued)
- Re: scroll-down with pixel transition, Tak Kunihiro, 2017/04/19
- 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 <=
- 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, 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