Fixed upstream, will appear in vte-0.38 (gnome-terminal-3.14). On Tue, Jun 3, 2014 at 12:57 PM, Egmont Koblinger <egmont at gmail.com> wrote: > Unfortunately this is not yet fixed upstream. I've forwarded upstream at > https://bugzilla.gnome.org/show_bug.cgi?id=731155