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

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 08/13/11 15:01, Matthew Flatt wrote:
> 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!

Thanks, it's working now.

Marijn

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5KLbIACgkQp/VmCx0OL2xrrQCdGOotvrGr5mkz1FI2wnBJ9f+u
ENIAnjD3n6XeccbbXCkMkfChTj85csTm
=diEH
-----END PGP SIGNATURE-----