Hi, Jaroslaw
Something you could try/investigate is scaling per app on Windows. It seems
that last Windows releases allow something along those lines. I cannot verify
it, though:
http://news.kynosarges.org/2017/04/16/dpi-settings-in-windows-10-creators-update/
Another workaround that some
I really think it is caused by your dpi. Maybe you are suffering from other
similar annoyances too like pixelated icons. Check with no scaling, if
things work fine, it is nothing related to DrRacket, and artifacts like
those you mention could appear on other apps too. You have still several
2 matches
Mail list logo