Mercurial Repositories > eric / changeset

--- 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())

--- a/Preferences/ConfigurationPages/WebBrowserPage.ui	Wed Jan 16 19:25:34 2019 +0100
+++ b/Preferences/ConfigurationPages/WebBrowserPage.ui	Wed Jan 16 19:26:32 2019 +0100
@@ -147,6 +147,16 @@
         </property>
        </widget>
       </item>
+      <item row="5" column="1">
+       <widget class="QCheckBox" name="dnsPrefetchCheckBox">
+        <property name="toolTip">
+         <string>Select to try to pre-fetch DNS entries to speed up browsing</string>
+        </property>
+        <property name="text">
+         <string>Enable DNS Prefetch</string>
+        </property>
+       </widget>
+      </item>
      </layout>
     </widget>
    </item>
@@ -1220,6 +1230,7 @@
   <tabstop>webGLCheckBox</tabstop>
   <tabstop>autoplayMediaCheckBox</tabstop>
   <tabstop>webRtcPublicOnlyCheckBox</tabstop>
+  <tabstop>dnsPrefetchCheckBox</tabstop>
   <tabstop>startupCombo</tabstop>
   <tabstop>newTabCombo</tabstop>
   <tabstop>homePageEdit</tabstop>

--- 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
     

--- 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):
         """