eric6/Preferences/__init__.py

changeset 6977
1ceea617d286
parent 6942
2602857055c5
child 6987
3371a03ed0a7
child 7012
cc3f83d1a605
--- a/eric6/Preferences/__init__.py	Sat Apr 27 19:43:32 2019 +0200
+++ b/eric6/Preferences/__init__.py	Sun Apr 28 11:14:43 2019 +0200
@@ -3082,7 +3082,7 @@
                  "AllowWindowActivationFromJavaScript", "ShowScrollBars",
                  "DownloadManagerAutoOpen", "DownloadManagerAutoClose",
                  "PlaybackRequiresUserGesture", "JavaScriptCanPaste",
-                 "WebRTCPublicInterfacesOnly",
+                 "WebRTCPublicInterfacesOnly", "DnsPrefetchEnabled",
                  ]:
         return toBool(prefClass.settings.value(
             "WebBrowser/" + key, prefClass.webBrowserDefaults[key]))

eric ide

mercurial