Resizing the terminal window seems to solve the problem for me. (thus making the menubar visible should also work). (Please cc me on replies) /Mikael -- Plus ça change, plus c'est la même chose