The patch provided by Simon Arlott seems to correct the problem, gnome-
terminal behaves like expected now.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1453991
Title:
g
Public bug reported:
Ubuntu version:
Description:Ubuntu 15.04
Release:15.04
Package version:
gnome-terminal:
Installed: 3.14.2-0ubuntu3
Candidate: 3.14.2-0ubuntu3
Version table:
*** 3.14.2-0ubuntu3 0
500 http://mirrors.coopvgg.com.ar/ubuntu/ vivid/main amd64 Package