--- a/src/eric7/Preferences/ConfigurationPages/InterfacePage.py Sat Oct 05 10:28:34 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/InterfacePage.py Sat Oct 05 11:35:07 2024 +0200 @@ -75,6 +75,9 @@ self.browserShowCodingCheckBox.setChecked( Preferences.getUI("BrowserShowCoding") ) + self.browserShowConnectedServerOnlyCheckBox.setChecked( + Preferences.getUI("BrowsersFilterRemoteEntries") + ) self.fileFiltersEdit.setText(Preferences.getUI("BrowsersFileFilters")) self.uiCaptionShowsFilenameGroupBox.setChecked( @@ -164,6 +167,10 @@ Preferences.setUI( "BrowserShowCoding", self.browserShowCodingCheckBox.isChecked() ) + Preferences.setUI( + "BrowsersFilterRemoteEntries", + self.browserShowConnectedServerOnlyCheckBox.isChecked(), + ) Preferences.setUI("BrowsersFileFilters", self.fileFiltersEdit.text()) Preferences.setUI(