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.action
Widget.selector
method set_min : int -> unit
int -> unit
method set_max : int -> unit