fixup! Refactoring of WListbox widget.