Thanks, I'll add them to the issues tracker. The problem with the scrollbars being a bit too short is an old one but I have trouble getting it to happen consistently.