Rethink proxy extension priority
Currently, environment variable proxy settings (new in 2.72) take precedence over GNOME proxy settings, which take precedence over libproxy.
However, this fails when using gnome-console or gnome-terminal because they set proxy environment variables based on GNOME settings. Effectively, any settings that cannot be expressed via environment variable -- like use-same-proxy or PAC configuration -- get overridden.
At first I thought it would make sense to simply increase the priority of GNOME configuration, but then we'd still have the exact same problem for environment variables vs. libproxy. Could prefer libproxy and use the environment variable configuration only when built with libproxy support disabled, but the goal should be to use libproxy only when required (i.e. when the user did not set proxy environment variables) and avoid it otherwise. But if the environment variables are set by the terminal, then we have no way to know whether we need libproxy.
This needs more thought. See also: console#81 (closed)