diff -r a99dcf04f6f5 -r 686c79ffbcff Preferences/__init__.py
--- a/Preferences/__init__.py Sun Aug 02 19:48:22 2015 +0200
+++ b/Preferences/__init__.py Mon Aug 03 19:24:55 2015 +0200
@@ -187,7 +187,6 @@
# 4 = monthly
"UseProxy": False,
"UseSystemProxy": True,
- "UseProxyAutoConfiguration": False,
"UseHttpProxyForAll": False,
"ProxyHost/Http": "",
"ProxyHost/Https": "",
@@ -204,7 +203,6 @@
"ProxyType/Ftp": E5FtpProxyType.NoProxy,
"ProxyAccount/Ftp": "",
"ProxyExceptions": "localhost,127.0.0.,::1",
- "ProxyPacUrl": "",
"PluginRepositoryUrl6":
"http://eric-ide.python-projects.org/plugins6/repository.xml",
@@ -1587,7 +1585,6 @@
"CaptionShowsFilename", "ShowSplash",
"SingleCloseButton", "SplitOrientationVertical",
"UseProxy", "UseSystemProxy", "UseHttpProxyForAll",
- "UseProxyAutoConfiguration",
"TopLeftByLeft", "BottomLeftByLeft",
"TopRightByRight", "BottomRightByRight",
"RequestDownloadFilename",
