Sorry to bump this again, but it seems the root cause is the same for bug #370855 ( https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/370855 ) but there has been no activity on that (or anything else I can find) for quite a while.
Sorry to bump this again, but it seems the root cause is the same for bug #370855 ( https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-terminal/ +bug/370855 ) but there has been no activity on that (or anything else I can find) for quite a while.