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