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
0001-The-Profile-pane-in-DrRacket-can-now-be-dragged-to-r.patch
Description: Binary data
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
