get_height


Description:

public int get_height ()

Gets the height previously set via set_height or 0 if the height wasn't set.

Parameters:

this

a `GdkGLTextureBuilder`

Returns:

The height