man GRange.scale () - A slider widget for selecting a value from a range

NAME

GRange.scale - A slider widget for selecting a value from a range

Class

Class GRange.scale

Documentation

class scale : Gtk.scale Gtk.obj -> object end

A slider widget for selecting a value from a range

Parameters:

""

Gtk.scale Gtk.obj

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