LayoutManager.allocate

void allocate(gtk.widget.Widget widget, int width, int height, int baseline)

Assigns the given width, height, and baseline to a widget, and computes the position and sizes of the children of the widget using the layout management policy of manager.

Parameters

widgetthe [gtk.widget.Widget] using manager
widththe new width of the widget
heightthe new height of the widget
baselinethe baseline position of the widget, or -1