'a ->
object
method add_radio :
label:string -> ?tooltip:string -> value:'a -> unit -> Toolbox.widget
method add_toggle :
?label:string ->
?icon:Toolbox.icon ->
?tooltip:string -> value:'a -> unit -> Toolbox.widget
method connect : ('a -> unit) -> unit
method fire : 'a -> unit
method get : 'a
method on_check : 'a -> (bool -> unit) -> unit
method on_event : (unit -> unit) -> unit
method on_value : 'a -> (unit -> unit) -> unit
method send : ('a -> unit) -> unit -> unit
method set : 'a -> unit
method set_enabled : bool -> unit
end