gtk:widget-allocated-height (widget)

widget -- a gtk:widget object to query

The integer with the height of the widget.

Returns the height that has currently been allocated to widget. The gtk:widget-allocated-height function is equivalent to the call

(gdk:rectangle-height (gtk:widget-allocation widget))    

This function is deprecated since 4.12. Use the gtk:widget-height function instead.