Daniel: nope, i'm using neither nvidia drivers or accessibility features. In fact, my main machine is a mac G4 so closed binary drivers are basically out of the question. -- gnome-terminal tends to lock up https://launchpad.net/bugs/65489