diff -r d4986df5d2e4 -r 0c491346bb8e src/eric7/Preferences/__init__.py --- 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,