Which version of Racket? Using the default window manager and theme in Ubuntu 10.10?
I find the resize areas to be very narrow in the default Ubuntu theme, but I'm able to resize a DrRacket 5.0.2 window on all edges in the usual way. At Sun, 26 Dec 2010 10:03:38 -0500, "Todd O'Bryan" wrote: > Actually, I lied. It turns out that you can get a resize control in > the bottom left corner of the window, but that's the only place I've > found that works. > > On Sun, Dec 26, 2010 at 10:01 AM, Todd O'Bryan <[email protected]> wrote: > > 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 > > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
