-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 08/16/11 10:43, Marijn wrote: > 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
I noticed that text-fields are now missing their right border. Might be related to your fix. Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk5KQtYACgkQp/VmCx0OL2zBJwCfYtAF9GUESjo6dynYFGz1e4fl /2oAoKUYw4mjXN7vjBMRhK4hH//Bzhh+ =ognI -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev