src/eric7/Preferences/ConfigurationPages/EricServerPage.py

branch
server
changeset 10555
08e853c0c77b
parent 10531
3308e8349e4c
child 11090
f5f5f5803935
diff -r d80184d38152 -r 08e853c0c77b src/eric7/Preferences/ConfigurationPages/EricServerPage.py
--- 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

eric ide

mercurial