Preferences/ConfigurationPages/WebBrowserPage.ui

changeset 4965
a9a4b632fe48
parent 4958
ef400197e7d5
child 5031
e4dbcb22d912
--- a/Preferences/ConfigurationPages/WebBrowserPage.ui	Tue May 03 19:42:26 2016 +0200
+++ b/Preferences/ConfigurationPages/WebBrowserPage.ui	Wed May 04 19:12:40 2016 +0200
@@ -239,16 +239,10 @@
       <item>
        <widget class="QGroupBox" name="javaScriptGroup">
         <property name="toolTip">
-         <string>Select to enable JavaScript</string>
+         <string/>
         </property>
         <property name="title">
-         <string>Enable JavaScript</string>
-        </property>
-        <property name="checkable">
-         <bool>true</bool>
-        </property>
-        <property name="checked">
-         <bool>false</bool>
+         <string>JavaScript</string>
         </property>
         <layout class="QGridLayout" name="gridLayout">
          <item row="0" column="0">

eric ide

mercurial