--- a/src/eric7/Preferences/ConfigurationPages/EricServerPage.py Sat May 03 18:00:26 2025 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EricServerPage.py Sat May 03 18:01:01 2025 +0200 @@ -32,7 +32,7 @@ def save(self): """ - Public slot to save the Cooperation configuration. + Public slot to save the eric-ide server related configuration. """ Preferences.setEricServer("ConnectionTimeout", self.timeoutSpinBox.value()) Preferences.setEricServer("AutostartShell", self.startShellCheckBox.isChecked())