Also reproducible in xterm and various other terminal emulators, at least sometimes (not always). So not a gnome-terminal issue.
This is a pretty common phenomenon if a utility doesn't properly restore the terminal (stty?) settings. Blindly typing and executing "reset" should fix it. Not sure what exactly is going on, and if there's anything bash could do to clean up, zsh doesn't seem to suffer from this problem.
Also reproducible in xterm and various other terminal emulators, at least sometimes (not always). So not a gnome-terminal issue.
This is a pretty common phenomenon if a utility doesn't properly restore the terminal (stty?) settings. Blindly typing and executing "reset" should fix it. Not sure what exactly is going on, and if there's anything bash could do to clean up, zsh doesn't seem to suffer from this problem.