GdkScreen::get_width_mm

int get_width_mm();