Widget.getAllocatedWidth

int getAllocatedWidth()

Returns the width that has currently been allocated to widget.

To learn more about widget sizes, see the coordinate system overview.

Returns

the width of the widget

Deprecated

Use [gtk.widget.Widget.getWidth] instead