On Mon, 2010-03-01 at 16:01 +0200, Dave Griffiths wrote: > > I'm getting it here on 4.2.4, something mysterious must have changed. > > The PLT people are looking into it, I wouldn't recommend upgrading to > 4.2.4 for the moment. I've committed a slight fix for this - which works until you press F6, then it'll crash as before. cheers, dave