class scale :A slider widget for selecting a value from a rangeGtk.scale Gtk.obj ->
object
..end
val obj : Gtk.scale Gtk.obj
method set_digits : int -> unit
method set_draw_value : bool -> unit
method set_value_pos : Gtk.Tags.position -> unit
method digits : int
method draw_value : bool
method value_pos : Gtk.Tags.position