--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py Tue Jul 25 13:14:27 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py Tue Jul 25 16:41:52 2023 +0200 @@ -89,6 +89,22 @@ self.__populateLanguageOverrideWidget() + 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.sourceNavigationGroupBox.hide() + self.commentsGroupBox.hide() + self.docstringGroupBox.hide() + self.mouseHoverHelpGroupBox.hide() + self.virtualSpaceGroupBox.hide() + def save(self): """ Public slot to save the Editor General configuration.