Preferences/__init__.py

changeset 6224
08875555771a
parent 6193
0313134e20b1
child 6231
fdfcd201f783
--- a/Preferences/__init__.py	Sun Apr 08 16:37:21 2018 +0200
+++ b/Preferences/__init__.py	Sun Apr 08 17:34:59 2018 +0200
@@ -1106,9 +1106,11 @@
         "GreaseMonkeyDisabledScripts": [],
         # Downloads
         "DownloadManagerRemovePolicy": 0,      # never delete downloads
-        "DownloadManagerSize": QSize(400, 300),
+        "DownloadManagerSize": QSize(450, 600),
         "DownloadManagerPosition": QPoint(),
         "DownloadManagerDownloads": [],
+        "DownloadManagerAutoOpen": False,
+        "DownloadManagerAutoClose": False,
         # Spell Checking
         "SpellCheckEnabled": False,
         "SpellCheckLanguages": [],
@@ -3016,6 +3018,7 @@
                  "SafeBrowsingEnabled", "SafeBrowsingFilterPlatform",
                  "SafeBrowsingAutoUpdate", "AllowGeolocationOnInsecureOrigins",
                  "AllowWindowActivationFromJavaScript", "ShowScrollBars",
+                 "DownloadManagerAutoOpen", "DownloadManagerAutoClose",
                  ]:
         return toBool(prefClass.settings.value(
             "WebBrowser/" + key, prefClass.webBrowserDefaults[key]))

eric ide

mercurial