Thank you. I'm OK with checking settings during startup if it's only for the whatsnew page when there is a new version.
Looks like starting the proxy service is lazy intentionally: http://hg.mozilla.org/mozilla-central/annotate/767693e248aa/netwerk/base/src/nsIOService.cpp#l653 I'll look further into your patch, thanks. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/875266 Title: Firefox ignores GNOME 3 proxy settings To manage notifications about this bug go to: https://bugs.launchpad.net/firefox/+bug/875266/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
