This is with a clean install of 10.10 and Racket 5.0.2. It turns out that I do have resizing ability on the top and left, but no matter how slowly I move over the right and bottom edges, the resizing arrows just never show up. I wonder what's different between our two setups that's causing the variation.
Todd On Mon, Dec 27, 2010 at 6:38 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > 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 <toddobr...@gmail.com> 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
