Mercurial Repositories > eric / file diff

diff -r 2a11e1b2dcbe -r 3629d88ae235 WebBrowser/WebBrowserWindow.py
--- a/WebBrowser/WebBrowserWindow.py	Thu Jan 10 14:23:49 2019 +0100
+++ b/WebBrowser/WebBrowserWindow.py	Sat Feb 02 11:12:54 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):
         """