I suspect it's the same as the recently-fixed https://bugzilla.gnome.org/show_bug.cgi?id=730389 https://git.gnome.org/browse/gnome-terminal/commit/?id=f65261a Could you maybe try to backport that patch to your gnome-terminal?