As a workaround you can you use dconf-editor to set proxy settings. http://askubuntu.com/questions/54493/gnome-3-proxy-settings/66064#66064
As a workaround you can you use dconf-editor to set proxy settings. askubuntu. com/questions/ 54493/gnome- 3-proxy- settings/ 66064#66064
http://