By convention, the expected behavior is that vim restores the terminal's settings. If it exits uncleanly, it might leave the terminal in a nondefault state, to which usually typing "reset", or closing the terminal and opening a new one might be an easy workaround.
I've always wondered why distributions don't set up a default shell prompt that resets some of the terminal options. I think it would be a good idea. Anyway, this does not belong to gnome-terminal but rather to bash.
That's right.
By convention, the expected behavior is that vim restores the terminal's settings. If it exits uncleanly, it might leave the terminal in a nondefault state, to which usually typing "reset", or closing the terminal and opening a new one might be an easy workaround.
I've always wondered why distributions don't set up a default shell prompt that resets some of the terminal options. I think it would be a good idea. Anyway, this does not belong to gnome-terminal but rather to bash.