I'm not able to reproduce the bug anymore with overlay-scrollbar from trunk, so I guess this bug will be fixed with the next release...
I'm not able to reproduce the bug anymore with overlay-scrollbar from trunk, so I guess this bug will be fixed with the next release...