get_height_mm

Description:

public int get_height_mm ()

Gets the height in millimeters of the monitor.

Parameters:

this

a `GdkMonitor`

Returns:

the physical height of the monitor