Class Widget.group
A group is not a widget ; it creates interconnected toggle or radio buttons, each switching to a peculiar value.
Use Wbox.hgroup
and Wbox.vgroup
to pack several buttons into a dongle.
method add_toggle : ?label:string ->
?icon:icon ->
?tooltip:string ->
value:'a ->
unit ->
widget
method add_radio : label:string ->
?tooltip:string ->
value:'a ->
unit ->
widget