This may be related to bug 768876
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/768876
for which a fix is reported.
This may be related to bug 768876
https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-terminal/ +bug/768876
for which a fix is reported.