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