Lex Ross, the gnome-terminal issue is bug #190848. https://bugs.launchpad.net/gnome-terminal/+bug/190848
Lex Ross, the gnome-terminal issue is bug #190848. https:/ /bugs.launchpad .net/gnome- terminal/ +bug/190848