Or maybe exactly 0.2 mm thick?
I am tuning a drawing app, currently it uses arbitrary scaling for content, but some sizes are in pixels, like grab distance for objects or measurement related arrow headers. Pixels is bad due to new very high resolution screens of course. I found functions like gdk-monitor-get-width-mm(), but then there is gdk_monitor_get_geometry() with ”application pixels”, not in ”device pixels”, and gdk_window_get_scale_factor (). I guess a combination of these will do, but it is not that straight forward, and for actual testing one needs various devices.