Thanks for your bug report. This bug has been reported to the developers
of the software. You can track it and make comments here:
http://bugzilla.gnome.org/show_bug.cgi?id=425430
** Changed in: gnome-terminal (Ubuntu)
Sourcepackagename: gnome-system-tools => gnome-terminal
Importance: Undecided => Wishlist
Assignee: (unassigned) => Ubuntu Desktop Bugs
Status: Unconfirmed => Confirmed
** Bug watch added: GNOME Bug Tracker #425430
http://bugzilla.gnome.org/show_bug.cgi?id=425430
** Also affects: gnome-terminal (upstream) via
http://bugzilla.gnome.org/show_bug.cgi?id=425430
Importance: Unknown
Status: Unknown
--
gnome-network-preferences don't set $https_proxy,$ftp_proxy
https://bugs.launchpad.net/bugs/95939
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
