On Dec 3, 2010, at 1:24 PM, Fran wrote: > > On Dec 3, 7:39 pm, Jonathan Lundell <jlund...@pobox.com> wrote: >> A patch is on its way to Massimo. > > Works a treat :) > No need to touch options.py - phew :) > > Many thanks,
Glad to help. Sorry for the initial confusion, but I suppose that's why the trunk isn't "stable".... I'd update options.py eventually, if I were you.