class spinner : ?min:int -> ?max:int -> ?step:int -> value:int -> ?tooltip:string -> unit -> object .. end
?min:int -> ?max:int -> ?step:int -> value:int -> ?tooltip:string -> unit ->
object
end
Widget.widget
Widget.selector