[racket] Can't resize DrRacket window in Ubuntu 10.10

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 <mflatt at 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 <toddobryan at 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
>