Thanks! I've applied it in the git repo. Robby
On Thu, Aug 25, 2011 at 1:36 PM, Luke Vilnis <lvil...@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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev