Thanks for your bug, I've forwarded it upstream:
http://bugzilla.gnome.org/show_bug.cgi?id=341998
** Changed in: gnome-terminal (Ubuntu)
Severity: Normal => Minor
Assignee: (unassigned) => Ubuntu Desktop Bugs
Status: Unconfirmed => Confirmed
** Bug watch added: GNOME Bug Tracker #341998
http://bugzilla.gnome.org/show_bug.cgi?id=341998
** Also affects: gnome-terminal (upstream) via
http://bugzilla.gnome.org/show_bug.cgi?id=341998
Severity: Unknown
Priority: Unknown
Status: Unknown
--
gnome-terminal not made aware of http_proxy preference changes made post-login
https://launchpad.net/bugs/40360
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
