[racket-dev] Patch to make the DrRacket "Profile" pane resizable

Thanks! I've applied it in the git repo.

Robby

On Thu, Aug 25, 2011 at 1:36 PM, Luke Vilnis <lvilnis at gmail.com> wrote:
> Hi,
> Here's a patch that makes it so you can drag to resize the "profile" pane in
> DrRacket. Apologies if this is the wrong way to submit low-priority tweaks
> like this, I don't want to clutter up the mailing list.
> Anyhow, thanks for the Racket toolchain - the "go to definition" and "help
> desk" right clicks especially have been a big help as I try to learn the
> libraries.
> Best,
> Luke Vilnis
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>