WidgetRadioButton

From SmartWin Wiki

A WidgetRadioButton is a push button which normally is grouped with other WidgetRadioButtons only one of which can be selected at a time. If you select a non-selected button, the currently-selected button will be deselected.