Preferences/ConfigurationPages/WebBrowserPage.ui

changeset 6657
c6a93bbd66a5
parent 6410
98a5d0cd72f5
equal deleted inserted replaced
6656:273a2130adbe 6657:c6a93bbd66a5
142 <property name="toolTip"> 142 <property name="toolTip">
143 <string>Select to limit WebRTC to public IP addresses only</string> 143 <string>Select to limit WebRTC to public IP addresses only</string>
144 </property> 144 </property>
145 <property name="text"> 145 <property name="text">
146 <string>Only public IP-Addresses for WebRTC</string> 146 <string>Only public IP-Addresses for WebRTC</string>
147 </property>
148 </widget>
149 </item>
150 <item row="5" column="1">
151 <widget class="QCheckBox" name="dnsPrefetchCheckBox">
152 <property name="toolTip">
153 <string>Select to try to pre-fetch DNS entries to speed up browsing</string>
154 </property>
155 <property name="text">
156 <string>Enable DNS Prefetch</string>
147 </property> 157 </property>
148 </widget> 158 </widget>
149 </item> 159 </item>
150 </layout> 160 </layout>
151 </widget> 161 </widget>
1218 <tabstop>fullscreenCheckBox</tabstop> 1228 <tabstop>fullscreenCheckBox</tabstop>
1219 <tabstop>screenCaptureCheckBox</tabstop> 1229 <tabstop>screenCaptureCheckBox</tabstop>
1220 <tabstop>webGLCheckBox</tabstop> 1230 <tabstop>webGLCheckBox</tabstop>
1221 <tabstop>autoplayMediaCheckBox</tabstop> 1231 <tabstop>autoplayMediaCheckBox</tabstop>
1222 <tabstop>webRtcPublicOnlyCheckBox</tabstop> 1232 <tabstop>webRtcPublicOnlyCheckBox</tabstop>
1233 <tabstop>dnsPrefetchCheckBox</tabstop>
1223 <tabstop>startupCombo</tabstop> 1234 <tabstop>startupCombo</tabstop>
1224 <tabstop>newTabCombo</tabstop> 1235 <tabstop>newTabCombo</tabstop>
1225 <tabstop>homePageEdit</tabstop> 1236 <tabstop>homePageEdit</tabstop>
1226 <tabstop>setCurrentPageButton</tabstop> 1237 <tabstop>setCurrentPageButton</tabstop>
1227 <tabstop>defaultHomeButton</tabstop> 1238 <tabstop>defaultHomeButton</tabstop>

eric ide

mercurial