bcb101b9e9
Don't try computing the PPI ourselves from the physical size and the number of pixels, this doesn't work and nobody else does it like this. Just assume that we're using standard PPI by default and use toolkit-specific functions for the platforms with support for high DPI.