Preferences/ConfigurationPages/WebBrowserPage.ui

changeset 6657
c6a93bbd66a5
parent 6410
98a5d0cd72f5
--- 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>

eric ide

mercurial