Today, when I launched the Terminal, the window looked like this (click to enlarge):
There is no way for me to make that terminal window any larger. I tried closing/opening new windows, changing window size in the preferences, etc. all to no avail.
The problem persists even after logging out and also as another user. I also repaired permissions, as I thought that for some obscure reason this could have been the problem...
Any one got an idea on what I could try? thanks a lot!