--- a/src/eric7/Preferences/ConfigurationPages/EricServerPage.py Wed Feb 07 15:28:08 2024 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EricServerPage.py Fri Feb 09 19:54:15 2024 +0100 @@ -28,12 +28,14 @@ # set initial values self.timeoutSpinBox.setValue(Preferences.getEricServer("ConnectionTimeout")) + self.startShellCheckBox.setChecked(Preferences.getEricServer("AutostartShell")) def save(self): """ Public slot to save the Cooperation configuration. """ Preferences.setEricServer("ConnectionTimeout", self.timeoutSpinBox.value()) + Preferences.setEricServer("AutostartShell", self.startShellCheckBox.isChecked()) def create(dlg): # noqa: U100