Global proxy missing
Bug description
There is no way to set a global proxy in the UI for Gajim; each of my accounts uses Tor as a SOCKS5 proxy. The account proxy setting properly prevents leaking of DNS as well as other network traffic.
Steps to reproduce
Force Gajim to generate any network traffic such as the Plugin called "plugin installer" and it will directly contact the network. It will not use a proxy.
Software versions
This is current as of Gajim changeset: 13361:edee1e4ca03a
I would like a global proxy setting that prevents such leaking.