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(