get_width_mm

Description:

public int get_width_mm ()

Gets the width in millimeters of the monitor.

Parameters:

this

a `GdkMonitor`

Returns:

the physical width of the monitor