man GRange () - Scrollbars, progressbars, etc.

NAME

GRange - Scrollbars, progressbars, etc.

Module

Module GRange

Documentation

Module GRange : sig end

Scrollbars, progressbars, etc.

=== Scrollbars, progressbars, etc. ===

=== GtkProgressBar ===

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

A widget which indicates progress visually

val progress_bar : ?orientation:Gtk.Tags.progress_bar_orientation -> ?pulse_step:float -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> progress_bar

=== GtkRange ===

class range_signals : [> Gtk.range ] Gtk.obj -> object end

class range : [> Gtk.range ] Gtk.obj -> object end

Base class for widgets which visualize an adjustment

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

A slider widget for selecting a value from a range

val scale : Gtk.Tags.orientation -> ?adjustment:GData.adjustment -> ?digits:int -> ?draw_value:bool -> ?value_pos:Gtk.Tags.position -> ?inverted:bool -> ?update_policy:Gtk.Tags.update_type -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> scale

val scrollbar : Gtk.Tags.orientation -> ?adjustment:GData.adjustment -> ?inverted:bool -> ?update_policy:Gtk.Tags.update_type -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> range

=== GtkRuler ===

class ruler : [> Gtk.ruler ] Gtk.obj -> object end

val ruler : Gtk.Tags.orientation -> ?metric:Gtk.Tags.metric_type -> ?lower:float -> ?upper:float -> ?max_size:float -> ?position:float -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> ruler