sig
class progress_bar :
Gtk.progress_bar Gtk.obj ->
object
val obj : Gtk.progress_bar Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method connect : GObj.widget_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method ellipsize : PangoEnums.ellipsize_mode
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method fraction : float
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method inverted : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method pulse : unit -> unit
method pulse_step : float
method receives_default : bool
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_ellipsize : PangoEnums.ellipsize_mode -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_fraction : float -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_inverted : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_pulse_step : float -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_show_text : bool -> unit
method set_style : Gtk.style -> unit
method set_text : string -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method show_text : bool
method style : Gtk.style
method text : string
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val progress_bar :
?pulse_step:float ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GRange.progress_bar
class range_signals :
[> Gtk.range ] Gtk.obj ->
object ('a)
method adjust_bounds : callback:(float -> unit) -> GtkSignal.id
method after : 'a
method change_value :
callback:(Gtk.Tags.scroll_type -> float -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method move_slider :
callback:(Gtk.Tags.scroll_type -> unit) -> GtkSignal.id
method notify_adjustment :
callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_fill_level : callback:(float -> unit) -> GtkSignal.id
method notify_inverted : callback:(bool -> unit) -> GtkSignal.id
method notify_lower_stepper_sensitivity :
callback:(Gtk.Tags.sensitivity_type -> unit) -> GtkSignal.id
method notify_orientation :
callback:(Gtk.Tags.orientation -> unit) -> GtkSignal.id
method notify_restrict_to_fill_level :
callback:(bool -> unit) -> GtkSignal.id
method notify_round_digits : callback:(int -> unit) -> GtkSignal.id
method notify_show_fill_level : callback:(bool -> unit) -> GtkSignal.id
method notify_upper_stepper_sensitivity :
callback:(Gtk.Tags.sensitivity_type -> unit) -> GtkSignal.id
method value_changed : callback:(unit -> unit) -> GtkSignal.id
end
class range :
([> Gtk.range ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method adjustment : GData.adjustment
method app_paintable : bool
method as_range : Gtk.range Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method connect : GRange.range_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method fill_level : float
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method inverted : bool
method is_focus : bool
method lower_stepper_sensitivity : Gtk.Tags.sensitivity_type
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method orientation : Gtk.Tags.orientation
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method restrict_to_fill_level : bool
method round_digits : int
method scale_factor : int
method sensitive : bool
method set_adjustment : GData.adjustment -> unit
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_fill_level : float -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_inverted : bool -> unit
method set_is_focus : bool -> unit
method set_lower_stepper_sensitivity :
Gtk.Tags.sensitivity_type -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_orientation : Gtk.Tags.orientation -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_restrict_to_fill_level : bool -> unit
method set_round_digits : int -> unit
method set_sensitive : bool -> unit
method set_show_fill_level : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_upper_stepper_sensitivity :
Gtk.Tags.sensitivity_type -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method show_fill_level : bool
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method upper_stepper_sensitivity : Gtk.Tags.sensitivity_type
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
class scale :
Gtk.scale Gtk.obj ->
object
val obj : Gtk.scale Gtk.obj
method adjustment : GData.adjustment
method app_paintable : bool
method as_range : Gtk.range Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method connect : range_signals
method destroy : unit -> unit
method digits : int
method drag : GObj.drag_ops
method draw_value : bool
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method fill_level : float
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_origin : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method inverted : bool
method is_focus : bool
method lower_stepper_sensitivity : Gtk.Tags.sensitivity_type
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method orientation : Gtk.Tags.orientation
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method restrict_to_fill_level : bool
method round_digits : int
method scale_factor : int
method sensitive : bool
method set_adjustment : GData.adjustment -> unit
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_digits : int -> unit
method set_draw_value : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_fill_level : float -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_origin : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_inverted : bool -> unit
method set_is_focus : bool -> unit
method set_lower_stepper_sensitivity :
Gtk.Tags.sensitivity_type -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_orientation : Gtk.Tags.orientation -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_restrict_to_fill_level : bool -> unit
method set_round_digits : int -> unit
method set_sensitive : bool -> unit
method set_show_fill_level : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_upper_stepper_sensitivity :
Gtk.Tags.sensitivity_type -> unit
method set_valign : GtkEnums.align -> unit
method set_value_pos : Gtk.Tags.position_type -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method show_fill_level : bool
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method upper_stepper_sensitivity : Gtk.Tags.sensitivity_type
method valign : GtkEnums.align
method value_pos : Gtk.Tags.position_type
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val scale :
Gtk.Tags.orientation ->
?adjustment:GData.adjustment ->
?digits:int ->
?draw_value:bool ->
?has_origin:bool ->
?value_pos:Gtk.Tags.position_type ->
?fill_level:float ->
?inverted:bool ->
?restrict_to_fill_level:bool ->
?round_digits:int ->
?show_fill_level:bool ->
?lower_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?upper_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GRange.scale
val scrollbar :
Gtk.Tags.orientation ->
?adjustment:GData.adjustment ->
?fill_level:float ->
?inverted:bool ->
?restrict_to_fill_level:bool ->
?round_digits:int ->
?show_fill_level:bool ->
?lower_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?upper_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GRange.range
end