src/eric7/Preferences/ConfigurationPages/EricServerPage.py

branch
server
changeset 10555
08e853c0c77b
parent 10531
3308e8349e4c
child 11090
f5f5f5803935
equal deleted inserted replaced
10551:d80184d38152 10555:08e853c0c77b
26 self.setupUi(self) 26 self.setupUi(self)
27 self.setObjectName("EricServerPage") 27 self.setObjectName("EricServerPage")
28 28
29 # set initial values 29 # set initial values
30 self.timeoutSpinBox.setValue(Preferences.getEricServer("ConnectionTimeout")) 30 self.timeoutSpinBox.setValue(Preferences.getEricServer("ConnectionTimeout"))
31 self.startShellCheckBox.setChecked(Preferences.getEricServer("AutostartShell"))
31 32
32 def save(self): 33 def save(self):
33 """ 34 """
34 Public slot to save the Cooperation configuration. 35 Public slot to save the Cooperation configuration.
35 """ 36 """
36 Preferences.setEricServer("ConnectionTimeout", self.timeoutSpinBox.value()) 37 Preferences.setEricServer("ConnectionTimeout", self.timeoutSpinBox.value())
38 Preferences.setEricServer("AutostartShell", self.startShellCheckBox.isChecked())
37 39
38 40
39 def create(dlg): # noqa: U100 41 def create(dlg): # noqa: U100
40 """ 42 """
41 Module function to create the configuration page. 43 Module function to create the configuration page.

eric ide

mercurial