From: Todd O'Bryan (toddobryan at gmail.com) Date: Sun Dec 26 10:01:18 EST 2010 |
|
I just installed DrRacket on Ubuntu 10.10, both from the binary and compiled from source to be sure the problem existed in both, and I can't resize the window. The target area for the resize controls has always been very small (maybe a pixel or two), but I think it just went to non-existent. Todd
Posted on the users mailing list. |
|