val get_thumb_value : t -> float -> floatval set_thumb_value : t -> float -> float -> unitval get_thumb_percent : t -> float -> floatval set_thumb_percent : t -> float -> float -> unitval is_thumb_dragging : t -> float -> boolval set_thumb_dragging : t -> float -> bool -> unitval set_focused_thumb : t -> float option -> unitval get_value_percent : t -> float -> floatval get_thumb_value_label : t -> float -> stringval get_thumb_min_value : t -> float -> floatval get_thumb_max_value : t -> float -> floatval get_percent_value : t -> float -> floatval is_thumb_editable : t -> float -> boolval set_thumb_editable : t -> float -> bool -> unitval increment_thumb : t -> float -> ?step_size:float -> unit -> unitval decrement_thumb : t -> float -> ?step_size:float -> unit -> unitval set_values : t -> (float array, float array -> float array) either -> unitval reset_values : t -> unit -> unit