man GContainer.container () - Base class for widgets which contain other widgets

NAME

GContainer.container - Base class for widgets which contain other widgets

Class GContainer.container

class container : [> Gtk.container ] Gtk.obj -> object end

Base class for widgets which contain other widgets

Parameters:

([> Gtk.container ] as 'a) Gtk.obj

val obj : 'a Gtk.obj

method add : GObj.widget -> unit

method children : GObj.widget list

method all_children : GObj.widget list

method remove : GObj.widget -> unit

method focus : GContainer.focus

method set_border_width : int -> unit

method set_resize_mode : Gtk.Tags.resize_mode -> unit

method border_width : int

method resize_mode : Gtk.Tags.resize_mode