Class Widget.group

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.

Inherits

method add_toggle : ?label:string ->
       ?icon:icon -> ?tooltip:string -> value:'a -> unit -> widget

method add_radio : label:string -> ?tooltip:string -> value:'a -> unit -> widget