diff -r 08ca9b336a43 -r 36839e2c6945 src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py
--- 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.
