Ubuntu
gnome-terminal package

  1. Bug #1577927
  2. Comment #5

Comment 5 for bug 1577927

Revision history for this message
Ken Sharp (kennybobs) wrote :

This should be fixed in gnome-terminal 3.20 but we're stuck with this broken version.