Many users’ desktop setups are comprised of several displays with different sizes, pixel resolutions and therefore different pixel densities (dpi). Unfortunately, many applications are not aware of so called ‘HiDPI‘ displays – displays, that by far exceed the pixel density of 72 dpi that we all have come to love so much. The result is