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 
actually prevalent. 

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 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to