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 |