I've forwarded that upstream:
http://bugzilla.gnome.org/show_bug.cgi?id=343811
** Changed in: control-center (Ubuntu)
Sourcepackagename: control-center => gnome-terminal
Severity: Normal => Minor
Assignee: (unassigned) => Ubuntu Desktop Bugs
** Bug watch added: GNOME Bug Tracker #343811
http://bugzilla.gnome.org/show_bug.cgi?id=343811
** Also affects: gnome-terminal (upstream) via
http://bugzilla.gnome.org/show_bug.cgi?id=343811
Severity: Unknown
Priority: Unknown
Status: Unknown
--
$http_proxy being set incorrectly by Network Proxy
https://launchpad.net/bugs/48294
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs