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

Reply via email to