Widget.getAllocatedHeight
int getAllocatedHeight()Returns the height that has currently been allocated to widget.
To learn more about widget sizes, see the coordinate system overview.
Returns
the height of the widget
Deprecated
Use [gtk.widget.Widget.getHeight] instead