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. |