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

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon Dec 27 18:38:32 EST 2010

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

Posted on the users mailing list.