Extends: BUTTON > CONTROL > WIDGET
A pushbutton shares its property set with the basic CONTROL widget.
