sig
class scrolled_window :
Gtk.scrolled_window Gtk.obj ->
object
val obj : Gtk.scrolled_window Gtk.obj
method add : GObj.widget -> unit
method add_with_viewport : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method hadjustment : GData.adjustment
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 hpolicy : Gtk.Tags.policy_type
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 placement : Gtk.Tags.corner_type
method receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_focus_on_click : bool -> unit
method set_hadjustment : GData.adjustment -> 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_hpolicy : Gtk.Tags.policy_type -> 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_placement : Gtk.Tags.corner_type -> unit
method set_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_shadow_type : Gtk.Tags.shadow_type -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_vadjustment : GData.adjustment -> 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_vpolicy : Gtk.Tags.policy_type -> unit
method set_width_request : int -> unit
method shadow_type : Gtk.Tags.shadow_type
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method vadjustment : GData.adjustment
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method vpolicy : Gtk.Tags.policy_type
method width_request : int
end
val scrolled_window :
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?hpolicy:Gtk.Tags.policy_type ->
?vpolicy:Gtk.Tags.policy_type ->
?placement:Gtk.Tags.corner_type ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GBin.scrolled_window
class event_box :
([> Gtk.event_box ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_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 focus : GContainer.focus
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 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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_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_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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> 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 style : Gtk.style
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 event_box :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.event_box
class invisible :
([> Gtk.invisible ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_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 focus : GContainer.focus
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 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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_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_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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> 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 style : Gtk.style
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 invisible :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.invisible
class handle_box_signals :
([> Gtk.handle_box ] as 'b) Gtk.obj ->
object ('a)
val obj : 'b Gtk.obj
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method child_attached : callback:(GObj.widget -> unit) -> GtkSignal.id
method child_detached : callback:(GObj.widget -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_handle_position :
callback:(Gtk.Tags.position_type -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_shadow_type :
callback:(Gtk.Tags.shadow_type -> unit) -> GtkSignal.id
method notify_snap_edge :
callback:(Gtk.Tags.position_type -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class handle_box :
Gtk.handle_box Gtk.obj ->
object
val obj : Gtk.handle_box Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GBin.handle_box_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 focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method handle_position : Gtk.Tags.position_type
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : 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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_handle_position : Gtk.Tags.position_type -> 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_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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_shadow_type : Gtk.Tags.shadow_type -> unit
method set_snap_edge : Gtk.Tags.position_type -> unit
method set_style : Gtk.style -> 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 shadow_type : Gtk.Tags.shadow_type
method snap_edge : Gtk.Tags.position_type
method style : Gtk.style
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 handle_box :
?handle_position:Gtk.Tags.position_type ->
?snap_edge:Gtk.Tags.position_type ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.handle_box
class frame_skel :
([> Gtk.frame ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
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 is_focus : bool
method label : string option
method label_widget : GObj.widget option
method label_xalign : float
method label_yalign : float
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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_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_is_focus : bool -> unit
method set_label : string option -> unit
method set_label_widget : GObj.widget option -> unit
method set_label_xalign : float -> unit
method set_label_yalign : float -> 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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_shadow_type : Gtk.Tags.shadow_type -> unit
method set_style : Gtk.style -> 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 shadow_type : Gtk.Tags.shadow_type
method style : Gtk.style
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
class frame :
Gtk.frame Gtk.obj ->
object
val obj : Gtk.frame Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
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 is_focus : bool
method label : string option
method label_widget : GObj.widget option
method label_xalign : float
method label_yalign : float
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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_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_is_focus : bool -> unit
method set_label : string option -> unit
method set_label_widget : GObj.widget option -> unit
method set_label_xalign : float -> unit
method set_label_yalign : float -> 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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_shadow_type : Gtk.Tags.shadow_type -> unit
method set_style : Gtk.style -> 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 shadow_type : Gtk.Tags.shadow_type
method style : Gtk.style
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 frame :
?label:string ->
?label_xalign:Gtk.clampf ->
?label_yalign:Gtk.clampf ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.frame
class aspect_frame :
Gtk.aspect_frame Gtk.obj ->
object
val obj : Gtk.aspect_frame Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
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 is_focus : bool
method label : string option
method label_widget : GObj.widget option
method label_xalign : float
method label_yalign : float
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 obey_child : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method ratio : float
method receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_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_is_focus : bool -> unit
method set_label : string option -> unit
method set_label_widget : GObj.widget option -> unit
method set_label_xalign : float -> unit
method set_label_yalign : float -> 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_obey_child : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_ratio : float -> unit
method set_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_shadow_type : Gtk.Tags.shadow_type -> unit
method set_style : Gtk.style -> 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 set_xalign : float -> unit
method set_yalign : float -> unit
method shadow_type : Gtk.Tags.shadow_type
method style : Gtk.style
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
method xalign : float
method yalign : float
end
val aspect_frame :
?obey_child:bool ->
?ratio:float ->
?xalign:Gtk.clampf ->
?yalign:Gtk.clampf ->
?label:string ->
?label_xalign:Gtk.clampf ->
?label_yalign:Gtk.clampf ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.aspect_frame
class viewport :
Gtk.viewport Gtk.obj ->
object
val obj : Gtk.viewport Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_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 focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method hadjustment : GData.adjustment
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 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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_focus_on_click : bool -> unit
method set_hadjustment : GData.adjustment -> 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_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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_shadow_type : Gtk.Tags.shadow_type -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_vadjustment : GData.adjustment -> 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 shadow_type : Gtk.Tags.shadow_type
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method vadjustment : GData.adjustment
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val viewport :
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.viewport
class alignment :
Gtk.alignment Gtk.obj ->
object
val obj : Gtk.alignment Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method bottom_padding : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
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 is_focus : bool
method left_padding : int
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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method right_padding : int
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> unit
method set_bottom_padding : int -> 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_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_is_focus : bool -> unit
method set_left_padding : int -> 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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_right_padding : int -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_top_padding : int -> 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 set_xalign : Gtk.clampf -> unit
method set_xscale : Gtk.clampf -> unit
method set_yalign : Gtk.clampf -> unit
method set_yscale : Gtk.clampf -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method top_padding : int
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method xalign : Gtk.clampf
method xscale : Gtk.clampf
method yalign : Gtk.clampf
method yscale : Gtk.clampf
end
val alignment :
?padding:int * int * int * int ->
?xalign:Gtk.clampf ->
?yalign:Gtk.clampf ->
?xscale:Gtk.clampf ->
?yscale:Gtk.clampf ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.alignment
val alignment_cast : #GObj.widget -> GBin.alignment
class expander_signals :
([> Gtk.expander ] as 'a) Gtk.obj ->
object ('b)
val obj : 'a Gtk.obj
method activate : callback:(unit -> unit) -> GtkSignal.id
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'b
method destroy : callback:(unit -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_expanded : callback:(bool -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_label_widget :
callback:(GObj.widget -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_spacing : callback:(int -> unit) -> GtkSignal.id
method notify_use_underline : callback:(bool -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
end
class expander :
([> Gtk.expander ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method child : GObj.widget
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GBin.expander_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method expanded : bool
method focus : GContainer.focus
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 is_focus : bool
method label : string
method label_widget : GObj.widget
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 receives_default : bool
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> 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_expanded : bool -> 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_is_focus : bool -> unit
method set_label : string -> unit
method set_label_widget : GObj.widget -> 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_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_spacing : int -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_underline : bool -> 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 spacing : int
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val expander :
?expanded:bool ->
?label:string ->
?spacing:int ->
?use_underline:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GBin.expander
end