[racket-dev] strange/wrong placement and sizing in racket/gui

At Thu, 11 Aug 2011 14:20:23 +0200, Marijn wrote:
> On 06/21/11 09:50, Marijn wrote:
> > On 06/20/11 18:29, Matthew Flatt wrote:
> >> I think I've found the problem and pushed a fix.
> > 
> > Thanks for the quick fix Matthew! 1) 2) and 3) are now working fine
> > :) but I do believe borders are still broken. For example:
> > 
> > [...]
>
> The above is still valid with yesterday's git (see original mail for
> image attachment).

I had forgotten about panel borders --- now fixed.

Thanks for the reminder!