Setting to fixed as the last version of gnome-terminal (precise) seems to have fixed the problem. Not there's a resize zone back in the terminal window
Setting to fixed as the last version of gnome-terminal (precise) seems to have fixed the problem. Not there's a resize zone back in the terminal window