Ubuntu
gnome-terminal package

  1. Bug #1040885
  2. Comment #9

Comment 9 for bug 1040885

Revision history for this message
Jeremy Nickurak (nickurak) wrote :

FYI, this was already reported upstream at https://bugzilla.gnome.org/show_bug.cgi?id=685507, which I just marked yours a duplicate of (and pointed out the "workaround patch").