This feels like the same bug as https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/204202. (Not that that is really likely to help anyone.)
This feels like the same bug as https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-terminal/ +bug/204202. (Not that that is really likely to help anyone.)