Gdk.Screen.get_width_mm Reference Manual
Gdk.Screen.get_width_mm:
Description:
public
int
get_width_mm ()
created by
valadoc