Good suggestion - sorry it too so long to get fixed. I now committed a fix for this to the trunk, it will be included in the next release.
Good suggestion - sorry it too so long to get fixed. I now committed a fix for this to the trunk, it will be included in the next release.