Re: More convenient default rollback for users

[Eli Zaretskii]

> 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?