-----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----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
