On Wed, Mar 21, 2012 at 17:44, Robby Findler
<ro...@eecs.northwestern.edu> wrote:
> Yes, I think that's right. Here's a patch to set that spacing to 0.
> Does that make the problem go away?

Yes, that was it!

However, it fixes the editor panel, but not the interaction window.

Image attached.

Thanks.

<<attachment: DrRacket2.PNG>>

____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to