[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: More convenient default rollback for users
From: |
Eli Zaretskii |
Subject: |
Re: More convenient default rollback for users |
Date: |
Tue, 29 Mar 2016 19:51:17 +0300 |
> From: Lars Magne Ingebrigtsen <address@hidden>
> Cc: address@hidden
> Date: Tue, 29 Mar 2016 18:31:06 +0200
>
> Eli Zaretskii <address@hidden> writes:
>
> > How do you do that with defcustoms?
>
> I don't know. Does defcustom offer something like that?
>
> In any case, having the user go through the custom interface is way too
> much work.
The problem is that some options are supposed to be changed via
defcustoms, because those invoke a special function for the new value
to take effect. In NEWS, we usually say "customize the option
so-and-so to such-and-such value", but how do you do that in
copy/paste-able way? invoke the function by hand?
Re: More convenient default rollback for users, Stefan Monnier, 2016/03/29
Re: More convenient default rollback for users, Richard Stallman, 2016/03/30
Re: More convenient default rollback for users, zhanghj, 2016/03/31