diff -r 08ca9b336a43 -r 36839e2c6945 src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py
--- a/src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py Tue Jul 25 13:14:27 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py Tue Jul 25 16:41:52 2023 +0200
@@ -369,6 +369,30 @@
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.foldMarginGroup.hide()
+ self.caretLineGroup.hide()
+ self.debuggingGroup.hide()
+ self.wrapLongLinesGroup.hide()
+ self.edgeModeGroup.hide()
+ self.zoomGroup.hide()
+ self.annotationsGroup.hide()
+ self.changeTracingGroup.hide()
+ self.indentationsGroup.hide()
+ self.markerMapGroup.hide()
+ self.variousGroup.hide()
+ self.fontsGroup.hide()
+ self.lineNumbersGroup.hide()
+
def save(self):
"""
Public slot to save the Editor Styles configuration.
