--- a/src/eric7/Preferences/__init__.py Mon Dec 05 15:08:18 2022 +0100 +++ b/src/eric7/Preferences/__init__.py Mon Dec 05 16:11:34 2022 +0100 @@ -613,6 +613,7 @@ "ShowMarkerChanges": True, "ShowMarkerCoverage": True, "ShowMarkerSearch": True, + "ShowSourceNavigator": True, "ShowSourceOutline": True, "SourceOutlineWidth": 200, "SourceOutlineStepSize": 50,