New answers tagged

0

So, I ran into this issue recently and found a decent workaround that fixes this. It is caused due to the GTK client side decorations. Hence, we can disable it temporarily for DrRacket. After installing DrRacket, open the startup script In my case, I installed at /usr/bin/drracket In your case, you would need to edit ~/racket/bin/drracket vi /usr/bin/...


Top 50 recent answers are included