Module GRange

module GRange: sig .. end

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
orientation : default value is `LEFT_TO_RIGHT
pulse_step : default value is 0.1

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
digits : default value is 1
draw_value : default value is false
value_pos : default value is `LEFT
inverted : default value is false
update_policy : default value is `CONTINUOUS
val scrollbar : Gtk.Tags.orientation ->
?adjustment:GData.adjustment ->
?inverted:bool ->
?update_policy:Gtk.Tags.update_type ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> range
inverted : default value is false
update_policy : default value is `CONTINUOUS

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
metric : default value is `PIXELS