Preferences/__init__.py

changeset 6657
c6a93bbd66a5
parent 6648
c09e6c6006eb
child 6672
2af01e538c57
child 6693
3629d88ae235
child 6755
009812744917
--- a/Preferences/__init__.py	Wed Jan 16 19:25:34 2019 +0100
+++ b/Preferences/__init__.py	Wed Jan 16 19:26:32 2019 +0100
@@ -1319,6 +1319,15 @@
             })
         except AttributeError:
             pass
+        try:
+            # Qt 5.12+
+            cls.webBrowserDefaults.update({
+                "DnsPrefetchEnabled":
+                    webEngineSettings.testAttribute(
+                        QWebEngineSettings.DnsPrefetchEnabled),
+            })
+        except AttributeError:
+            pass
         
         cls.webEngineSettingsIntitialized = True
     

eric ide

mercurial