Widget.getScaleFactor
int getScaleFactor() nothrowRetrieves the internal scale factor that maps from window coordinates to the actual device pixels.
On traditional systems this is 1, on high density outputs, it can be a higher value (typically 2).
See gdk.surface.Surface.getScaleFactor.
Returns
the scale factor for widget