Radiobutton. The button which implements radio object contract, so can be added to radiogroup.
inherit tThe state of the button; true if button is "on" and false if the button is "off".
Switches the button state to "on". Affects only how the button is drawn, does not change the state of the group the button is added to. Use radiogroup.switch_to instead.
Switches the button state to "off". Affects only how the button is drawn, does not change the state of the group the button is added to. Use radiogroup.switch_to instead.
method label_zed : Zed_string.tThe text displayed on the button.
method on_click : ?switch:LTerm_widget_callbacks.switch ->
(unit -> unit) ->
uniton_click ?switch f calls f when the button is clicked. You probably want to use radiogroup.on_state_change instead.