eric6/Preferences/ConfigurationPages/WebBrowserPage.py

changeset 6987
3371a03ed0a7
parent 6942
2602857055c5
child 7229
53054eb5b15a
diff -r 23886c1dd3d0 -r 3371a03ed0a7 eric6/Preferences/ConfigurationPages/WebBrowserPage.py
--- a/eric6/Preferences/ConfigurationPages/WebBrowserPage.py	Wed May 01 17:29:21 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/WebBrowserPage.py	Thu May 02 19:07:48 2019 +0200
@@ -234,7 +234,7 @@
             self.webInspectorPortSpinBox.setValue(
                 Preferences.getWebBrowser("WebInspectorPort"))
         else:
-            self.webInspectorGroup.setEnabled(False)
+            self.webInspectorGroup.hide()
         
         if qVersionTuple() >= (5, 11, 0):
             self.protocolHandlerComboBox.setCurrentIndex(

eric ide

mercurial