This doesn't bring true HiDPI support yet, since there are no HiDPI assets anyway, but it makes the interface usable.