Bug has been resolved upstream. DrRacket version 5.3.4--2013-05-08(-/f) looks ok to me.
Workaround for 12.04: sudo add-apt-repository ppa:plt/racket sudo apt-get update sudo apt-get install racket
Bug has been resolved upstream. 2013-05- 08(-/f) looks ok to me.
DrRacket version 5.3.4--
Workaround for 12.04:
sudo add-apt-repository ppa:plt/racket
sudo apt-get update
sudo apt-get install racket