Thank you for you detailed description. Now I was able to reproduce the problem and I think it's fixed in svn r8036.
Thank you for you detailed description. Now I was able to reproduce the problem and I think it's fixed in svn r8036.