--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py Tue Jul 25 13:14:27 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py Tue Jul 25 16:41:52 2023 +0200 @@ -62,6 +62,21 @@ hasAlpha=True, ) + def setMode(self, displayMode): + """ + Public method to perform mode dependent setups. + + @param displayMode mode of the configuration dialog + @type ConfigurationMode + """ + from ..ConfigurationDialog import ConfigurationMode + + if displayMode in (ConfigurationMode.SHELLMODE,): + self.quicksearchCheckBox.hide() + self.searckMarkersBox.hide() + self.highlightingBackgroundLabel.hide() + self.highlightingBackgroundButton.hide() + def save(self): """ Public slot to save the Editor Search configuration.