Re: 4k resolution - not DPI aware

Posted by ivant on Nov 26, 2018; 4:05pm
URL: http://nand2tetris-questions-and-answers-forum.52.s1.nabble.com/4k-resolution-not-DPI-aware-tp4030046p4032584.html

I just played with this a bit. It looks like you need Java 11 for this (9 and 10 are short-term releases, which already expired).

And you don't need to pass these options at all. All you need is to set the GDK_SCALE environment variable, like this:

env GDK_SCALE=2 ./HardwareSimulator.sh

And if you're with a HiDPI monitor, you should be able to set this globally from your system settings.