Preferences/__init__.py

changeset 270
41505c92ac31
parent 230
2cde09c26384
child 284
06d3067f8a63
child 285
7476703ac56d
diff -r 56e0107f2b01 -r 41505c92ac31 Preferences/__init__.py
--- a/Preferences/__init__.py	Sat May 22 15:00:13 2010 +0200
+++ b/Preferences/__init__.py	Sat May 22 20:01:58 2010 +0200
@@ -161,6 +161,7 @@
                                         # 3 = weekly
                                         # 4 = monthly
         "UseProxy" : False,
+        "UseSystemProxy" : True, 
         "ProxyHost" : "",
         "ProxyPort" : 80,
         "ProxyUser" : "",
@@ -1053,7 +1054,7 @@
                 "BrowsersListContentsByOccurrence", "LogViewerAutoRaise", 
                 "SingleApplicationMode", "TabViewManagerFilenameOnly", 
                 "CaptionShowsFilename", "ShowSplash", 
-                "SingleCloseButton", "UseProxy", 
+                "SingleCloseButton", "UseProxy", "UseSystemProxy", 
                 "TopLeftByLeft", "BottomLeftByLeft", 
                 "TopRightByRight", "BottomRightByRight", 
                 "RequestDownloadFilename", 

eric ide

mercurial