src/eric7/Preferences/__init__.py

branch
eric7
changeset 9567
0c491346bb8e
parent 9563
8ee667840224
child 9570
481cc0d3699d
--- 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,

eric ide

mercurial