int GTK.Widget()->ysize()
Returns the height of the widget in pixels.
Extracted from Pike v7.3 release 11 at 2001-11-03.