src/eric7/Preferences/ConfigurationPages/EricServerPage.py

branch
eric7
changeset 11257
54a66ef9c9db
parent 11148
15e30f0c76a8
equal deleted inserted replaced
11256:b19a0278b8bf 11257:54a66ef9c9db
30 self.timeoutSpinBox.setValue(Preferences.getEricServer("ConnectionTimeout")) 30 self.timeoutSpinBox.setValue(Preferences.getEricServer("ConnectionTimeout"))
31 self.startShellCheckBox.setChecked(Preferences.getEricServer("AutostartShell")) 31 self.startShellCheckBox.setChecked(Preferences.getEricServer("AutostartShell"))
32 32
33 def save(self): 33 def save(self):
34 """ 34 """
35 Public slot to save the Cooperation configuration. 35 Public slot to save the eric-ide server related configuration.
36 """ 36 """
37 Preferences.setEricServer("ConnectionTimeout", self.timeoutSpinBox.value()) 37 Preferences.setEricServer("ConnectionTimeout", self.timeoutSpinBox.value())
38 Preferences.setEricServer("AutostartShell", self.startShellCheckBox.isChecked()) 38 Preferences.setEricServer("AutostartShell", self.startShellCheckBox.isChecked())
39 39
40 40

eric ide

mercurial