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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
