Ubuntu
gnome-terminal package

  1. Bug #534225
  2. Comment #14

Comment 14 for bug 534225

Revision history for this message
Michal (michal.post) wrote :

I confirm, that this bug is FIXED in gnome-terminal 2.30.2-0ubuntu1.

confirmation steps:
1. made copy of /usr/bin/gnome-terminal binary
2. upgraded gnome-terminal from proposed repository to 2.30.2-0ubuntu1
3. setup proxy in gnome
4. verified that issue is reproducible using OLD version of gnome-terminal binary
5. verified that issue is NOT reproducible using NEW version of gnome-terminal binary

This fix make everyday work much easier for me and many people I know.
Thank you very much!