The patch provided by Simon Arlott seems to correct the problem, gnome-terminal behaves like expected now.
The patch provided by Simon Arlott seems to correct the problem, gnome-terminal behaves like expected now.