[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Option name conventions (was Re: scroll-down with pixel transition)
From: |
Perry E. Metzger |
Subject: |
Option name conventions (was Re: scroll-down with pixel transition) |
Date: |
Fri, 21 Apr 2017 10:24:07 -0400 |
On Fri, 21 Apr 2017 16:36:56 +0300 Eli Zaretskii <address@hidden> wrote:
> > > > 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.
> > >
> >
> > If this really is the convention, I should change the option name
> > I'm about to add (related to column number display.)
>
> I see no reason to do that at this time, not until we agree that
> this is the convention and document it as such.
Cool. Please do let people know if that changes.
Perry
--
Perry E. Metzger address@hidden
- 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, 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 <=
- 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, 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