Simply, set your proxies with shell scripts. The extension allows you to enable/disable a network proxy for all applications or services you use daily, by simply using a shell script. For more information and how to use: https://github.com/Eimji/gnome-shell-extension-scriptproxies
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.