diff -r b19a0278b8bf -r 54a66ef9c9db src/eric7/Preferences/ConfigurationPages/EricServerPage.py
--- 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())
