class['a]
group :'a ->
object
..end
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