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!
I confirm, that this bug is FIXED in gnome-terminal 2.30.2-0ubuntu1.
confirmation steps: gnome-terminal binary
1. made copy of /usr/bin/
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!