--- a/eric6/Preferences/ConfigurationPages/InterfacePage.py Sun Oct 04 18:53:35 2020 +0200 +++ b/eric6/Preferences/ConfigurationPages/InterfacePage.py Mon Oct 05 19:11:15 2020 +0200 @@ -56,6 +56,8 @@ Preferences.getUI("BrowsersListContentsByOccurrence")) self.uiBrowsersShowHiddenCheckBox.setChecked( Preferences.getUI("BrowsersListHiddenFiles")) + self.browserShowCodingCheckBox.setChecked( + Preferences.getUI("BrowserShowCoding")) self.fileFiltersEdit.setText( Preferences.getUI("BrowsersFileFilters")) @@ -124,6 +126,9 @@ "BrowsersListHiddenFiles", self.uiBrowsersShowHiddenCheckBox.isChecked()) Preferences.setUI( + "BrowserShowCoding", + self.browserShowCodingCheckBox.isChecked()) + Preferences.setUI( "BrowsersFileFilters", self.fileFiltersEdit.text())