Class GObj.widget
@gtkdoc gtk GtkWidget
method app_paintable : bool
method can_default : bool
method composite_child : bool
method destroy : unit -> unit
method focus_on_click : bool
method has_default : bool
method height_request : int
method hexpand_set : bool
method margin_bottom : int
method margin_right : int
method margin_start : int
method destroy : unit -> unit
method no_show_all : bool
method receives_default : bool
method scale_factor : int
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_tooltip_text : string -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method tooltip_text : string
method vexpand_set : bool
method width_request : int