public int get_width_mm ()
Warning: get_width_mm is deprecated since 3.22.
Gets the width of this in millimeters.
Use per-monitor information instead
Note that this value is somewhat ill-defined when the screen has multiple monitors of different resolution. It is recommended to use the monitor dimensions instead.
the width of this in millimeters.