Ubuntu
gnome-terminal package

  1. Bug #392175
  2. Comment #4

Comment 4 for bug 392175

Revision history for this message
Alexander Menk (alex-menk) wrote :

There is a (a bit old) patch for gnome-terminal in https://bugzilla.gnome.org/show_bug.cgi?id=132173