On 14/3/25 08:55, Mauro Aranda wrote:
 >
 > I've improved my fix for this bug, so that it doesn't produce weird
 > highlights when double clicking a button.
 >
 > The patch touches a very tricky part of wid-edit.el.  I've been testing
 > it for a while now, mostly with Customize and some packages of my own.
 > I haven't found many problems, but I figure it might need some testing
 > in the outside world.
 >

I've added documentation changes.  New patch attached.