Fair enough. But absence of artifacts in apps you are using right now doesn't
discard the same issue to show up in other apps. Google for 'display artifacts
dpi scaling' or something like that. You'll see that this kind of problem is
DrRacket (or underlying libraries) may and probably should improve. So this is
a right place to report. Given the current proliferation of HiDPI displays it
is of great concern.
I just suggested a temporary workaround, the same I've applied myself, till the
OS, drivers or apps are able to fix it.
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
For more options, visit https://groups.google.com/d/optout.