Widget.getAllocatedHeight
int getAllocatedHeight() nothrowReturns 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