Subject: Re: bug#10773: set-variable can't change values of user options

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 19 Sep 2020 17:49:02 +0200

Stefan Monnier <[email-masked]> writes:

> Shouldn't we be using `defcustom` instead of hard-coding Custom's
> "internal" properties?

Yes.  But I was worried that defcustom would be too heavy-handed here.
And it seems unlikely that these properties would change much.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no