@Bill:
thanks for working on this patch. I think one of the first step will to report
the issue upstream and post your patch.
You should open a bug against gnome-terminal package in ubuntu ("Also affects
distribution" -> gnome-terminal in ubuntu).
You can then link your bug in Launchpad to this one in clicking on "also
affects projects", ensure you have gnome-terminal selected, and copy the url
from upstream bug report).
Thanks a lot!
--
wget does not use network proxy in some cases
https://bugs.launchpad.net/bugs/232469
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-control-center in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
