Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py	Mon Dec 05 15:08:18 2022 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py	Mon Dec 05 16:11:34 2022 +0100
@@ -52,6 +52,9 @@
         self.autoindentCheckBox.setChecked(Preferences.getEditor("AutoIndentation"))
         self.comment0CheckBox.setChecked(Preferences.getEditor("CommentColumn0"))
 
+        self.sourceNavigationGroupBox.setChecked(
+            Preferences.getEditor("ShowSourceNavigator")
+        )
         self.sourceOutlineGroupBox.setChecked(
             Preferences.getEditor("ShowSourceOutline")
         )
@@ -101,6 +104,9 @@
         Preferences.setEditor("CommentColumn0", self.comment0CheckBox.isChecked())
 
         Preferences.setEditor(
+            "ShowSourceNavigator", self.sourceNavigationGroupBox.isChecked()
+        )
+        Preferences.setEditor(
             "ShowSourceOutline", self.sourceOutlineGroupBox.isChecked()
         )
         Preferences.setEditor(