Change History
(3)

I committed a fix for this in hrev30597. Thanks ! If you feel there should be a scrollbar when there is only one tab open, we can discuss it. It is certainly possible to do. For the moment, it's fixed when there are several tabs open.