--- a/eric6/Preferences/__init__.py Sun Oct 04 18:53:35 2020 +0200 +++ b/eric6/Preferences/__init__.py Mon Oct 05 19:11:15 2020 +0200 @@ -125,6 +125,7 @@ "BrowsersListContentsByOccurrence": False, "BrowsersListHiddenFiles": False, "BrowsersFileFilters": "*.py[co];*.so;*.dll", + "BrowserShowCoding": True, "LogViewerAutoRaise": True, "LogViewerStdoutFilter": [], "LogViewerStderrFilter": [], @@ -497,6 +498,7 @@ "ShowSourceOutline": True, "SourceOutlineWidth": 200, "SourceOutlineStepSize": 50, + "SourceOutlineShowCoding": True, # All (most) lexers "AllFoldCompact": True, @@ -1902,7 +1904,7 @@ """ if key in ["BrowsersListFoldersFirst", "BrowsersHideNonPublic", "BrowsersListContentsByOccurrence", "BrowsersListHiddenFiles", - "LogViewerAutoRaise", + "BrowserShowCoding", "LogViewerAutoRaise", "SingleApplicationMode", "TabViewManagerFilenameOnly", "ShowFilePreview", "ShowFilePreviewJS", "ShowFilePreviewSSI", "CaptionShowsFilename", "ShowSplash",