Class OgtkBaseProps.widget_props

val virtual obj : [> `widget ] Gobject.obj
method set_app_paintable : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_can_default : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_can_focus : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_events : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> GdkEnums.event_mask list -> unit
method set_expand : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_focus_on_click : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_halign : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> GtkEnums.align -> unit
method set_has_default : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_has_focus : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_has_tooltip : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_height_request : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_hexpand : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_hexpand_set : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_is_focus : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_margin : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_margin_bottom : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_margin_end : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_margin_left : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_margin_right : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_margin_start : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_margin_top : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method set_name : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> string -> unit
method set_no_show_all : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_opacity : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> float -> unit
method set_parent : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> Gtk.container' option -> unit
method set_receives_default : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_sensitive : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_style : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> Gtk.style -> unit
method set_tooltip_markup : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> string -> unit
method set_tooltip_text : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> string -> unit
method set_valign : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> GtkEnums.align -> unit
method set_vexpand : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_vexpand_set : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_visible : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool -> unit
method set_width_request : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int -> unit
method app_paintable : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method can_default : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method can_focus : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method composite_child : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method events : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> GdkEnums.event_mask list
method expand : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method focus_on_click : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method halign : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> GtkEnums.align
method has_default : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method has_focus : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method has_tooltip : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method height_request : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method hexpand : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method hexpand_set : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method is_focus : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method margin : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method margin_bottom : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method margin_end : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method margin_left : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method margin_right : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method margin_start : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method margin_top : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method name : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> string
method no_show_all : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method opacity : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> float
method parent : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> Gtk.container' option
method receives_default : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method scale_factor : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int
method sensitive : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method style : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> Gtk.style
method tooltip_markup : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> string
method tooltip_text : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> string
method valign : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> GtkEnums.align
method vexpand : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method vexpand_set : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method visible : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> bool
method width_request : < app_paintable : bool; can_default : bool; can_focus : bool; composite_child : bool; events : GdkEnums.event_mask list; expand : bool; focus_on_click : bool; halign : GtkEnums.align; has_default : bool; has_focus : bool; has_tooltip : bool; height_request : int; hexpand : bool; hexpand_set : bool; is_focus : bool; margin : int; margin_bottom : int; margin_end : int; margin_left : int; margin_right : int; margin_start : int; margin_top : int; name : string; no_show_all : bool; opacity : float; parent : Gtk.container' option; receives_default : bool; scale_factor : int; sensitive : bool; set_app_paintable : bool -> unit; set_can_default : bool -> unit; set_can_focus : bool -> unit; set_events : GdkEnums.event_mask list -> unit; set_expand : bool -> unit; set_focus_on_click : bool -> unit; set_halign : GtkEnums.align -> unit; set_has_default : bool -> unit; set_has_focus : bool -> unit; set_has_tooltip : bool -> unit; set_height_request : int -> unit; set_hexpand : bool -> unit; set_hexpand_set : bool -> unit; set_is_focus : bool -> unit; set_margin : int -> unit; set_margin_bottom : int -> unit; set_margin_end : int -> unit; set_margin_left : int -> unit; set_margin_right : int -> unit; set_margin_start : int -> unit; set_margin_top : int -> unit; set_name : string -> unit; set_no_show_all : bool -> unit; set_opacity : float -> unit; set_parent : Gtk.container' option -> unit; set_receives_default : bool -> unit; set_sensitive : bool -> unit; set_style : Gtk.style -> unit; set_tooltip_markup : string -> unit; set_tooltip_text : string -> unit; set_valign : GtkEnums.align -> unit; set_vexpand : bool -> unit; set_vexpand_set : bool -> unit; set_visible : bool -> unit; set_width_request : int -> unit; style : Gtk.style; tooltip_markup : string; tooltip_text : string; valign : GtkEnums.align; vexpand : bool; vexpand_set : bool; visible : bool; width_request : int; .. > -> int