Ubuntu
gnome-terminal package

  1. Bug #502888
  2. Comment #3

Comment 3 for bug 502888

Revision history for this message
Andy Stanford-Clark (andysc) wrote :

Hi Pedro - I tried that, and they dismissed it as only applicable to gnome terminal. (see the link to the previous bug).

I think this has to be dealt with "down here"...