Actually a vte bug which is showing fixed in #693013 on 2013-11-18
Marking "Fix Released" to close
** Changed in: gnome-terminal (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-termina
See also: https://bugzilla.gnome.org/show_bug.cgi?id=693013
** Bug watch added: GNOME Bug Tracker #693013
https://bugzilla.gnome.org/show_bug.cgi?id=693013
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
h