Extensions to standard library `wid-edit.el'