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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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 -> unitmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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 listmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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.alignmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> intmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> intmethod 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; .. > -> intmethod 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; .. > -> intmethod 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; .. > -> intmethod 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; .. > -> intmethod 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; .. > -> intmethod 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; .. > -> intmethod 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; .. > -> stringmethod 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; .. > -> boolmethod 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; .. > -> floatmethod 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' optionmethod 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; .. > -> boolmethod 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; .. > -> intmethod 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; .. > -> boolmethod 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.stylemethod 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; .. > -> stringmethod 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; .. > -> stringmethod 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.alignmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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; .. > -> boolmethod 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