Mercurial Repositories > eric / file diff

--- a/Preferences/ConfigurationPages/WebBrowserPage.py	Wed Jan 16 19:25:34 2019 +0100
+++ b/Preferences/ConfigurationPages/WebBrowserPage.py	Wed Jan 16 19:26:32 2019 +0100
@@ -84,6 +84,12 @@
         except KeyError:
             self.autoplayMediaCheckBox.setEnabled(False)
             self.webRtcPublicOnlyCheckBox.setEnabled(False)
+        try:
+            # Qt 5.12
+            self.dnsPrefetchCheckBox.setChecked(
+                Preferences.getWebBrowser("DnsPrefetchEnabled"))
+        except KeyError:
+            self.dnsPrefetchCheckBox.setEnabled(False)
         
         self.javaScriptGroup.setChecked(
             Preferences.getWebBrowser("JavaScriptEnabled"))
@@ -281,6 +287,11 @@
                 "WebRTCPublicInterfacesOnly",
                 self.webRtcPublicOnlyCheckBox.isChecked())
         
+        if self.dnsPrefetchCheckBox.isEnabled():
+            Preferences.setWebBrowser(
+                "DnsPrefetchEnabled",
+                self.dnsPrefetchCheckBox.isChecked())
+        
         Preferences.setWebBrowser(
             "JavaScriptEnabled",
             self.javaScriptGroup.isChecked())