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

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110825/12f05474/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-The-Profile-pane-in-DrRacket-can-now-be-dragged-to-r.patch
Type: application/octet-stream
Size: 1353 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110825/12f05474/attachment.obj>