WebBrowser/WebBrowserWindow.py

changeset 6657
c6a93bbd66a5
parent 6645
ad476851d7e0
child 6695
0a51887c13cd
diff -r 273a2130adbe -r c6a93bbd66a5 WebBrowser/WebBrowserWindow.py
--- a/WebBrowser/WebBrowserWindow.py	Wed Jan 16 19:25:34 2019 +0100
+++ b/WebBrowser/WebBrowserWindow.py	Wed Jan 16 19:26:32 2019 +0100
@@ -675,6 +675,15 @@
                     "WebRTCPublicInterfacesOnly"))
         except (AttributeError, KeyError):
             pass
+        
+        try:
+            # Qt 5.12
+            settings.setAttribute(
+                QWebEngineSettings.DnsPrefetchEnabled,
+                Preferences.getWebBrowser(
+                    "DnsPrefetchEnabled"))
+        except (AttributeError, KeyError):
+            pass
     
     def __initActions(self):
         """

eric ide

mercurial