Ubuntu

Comment 26 for bug 787465

Jeffrey Finkelstein (jfinkels) wrote :

@mdpoole: there is a solution to that problem here: https://answers.launchpad.net/ubuntu/+source/gnome-terminal/+question/176160