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 users on Unix systems may find helpful and doesn't involve changing display resolutions, or dealing with xrandr, or something like that is to set text scaling as they like for everything in the Desktop Environment, but make DrRacket override that setting when running via the environment variable PLT_DISPLAY_BACKING_SCALE set to 1. This actually reverts the general dpi setting and so fixes artifacts: https://docs.racket-lang.org/gui/windowing-overview.html#%28part._display-resolution%29 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
