<div>Hi,</div><div><br></div><div>Here&#39;s a patch that makes it so you can drag to resize the &quot;profile&quot; pane in DrRacket. Apologies if this is the wrong way to submit low-priority tweaks like this, I don&#39;t want to clutter up the mailing list. </div>
<div><br></div><div>Anyhow, thanks for the Racket toolchain - the &quot;go to definition&quot; and &quot;help desk&quot; right clicks especially have been a big help as I try to learn the libraries.</div><div><br></div><div>
Best,</div><div>Luke Vilnis</div>