Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

Method GTK2.GdkScreen()->get_width_mm()


Method get_width_mm

int get_width_mm()

Description

Gets the width in millimeters.