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.
