Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/ApplicationPage.py
Preferences/ConfigurationPages/ApplicationPage.py
- changeset 5762
- 76ef5f340007
- parent 5395
- 56efc13e456e
- child 6048
- 82ad8ec9548c
equal
deleted
inserted
replaced
| 5761:f9e1e4e50b33 | 5762:76ef5f340007 |
|---|---|
| 24 Constructor | 24 Constructor |
| 25 """ | 25 """ |
| 26 super(ApplicationPage, self).__init__() | 26 super(ApplicationPage, self).__init__() |
| 27 self.setupUi(self) | 27 self.setupUi(self) |
| 28 self.setObjectName("ApplicationPage") | 28 self.setObjectName("ApplicationPage") |
| 29 | |
| 30 self.backgroundServicesLabel.setText(self.tr( | |
| 31 "eric is using background services for certain things like" | |
| 32 " syntax checks or code style checks. Per default the number" | |
| 33 " of processes to use for these checks is determined" | |
| 34 " automatically based on the number of CPUs. Please note, that" | |
| 35 " this is an advanced setting." | |
| 36 )) | |
| 29 | 37 |
| 30 # set initial values | 38 # set initial values |
| 31 self.singleApplicationCheckBox.setChecked( | 39 self.singleApplicationCheckBox.setChecked( |
| 32 Preferences.getUI("SingleApplicationMode")) | 40 Preferences.getUI("SingleApplicationMode")) |
| 33 self.splashScreenCheckBox.setChecked( | 41 self.splashScreenCheckBox.setChecked( |
| 68 Preferences.getUI("CheckErrorLog")) | 76 Preferences.getUI("CheckErrorLog")) |
| 69 | 77 |
| 70 self.intervalSpinBox.setValue( | 78 self.intervalSpinBox.setValue( |
| 71 Preferences.getUI("KeyboardInputInterval")) | 79 Preferences.getUI("KeyboardInputInterval")) |
| 72 | 80 |
| 81 self.backgroundServicesSpinBox.setValue( | |
| 82 Preferences.getUI("BackgroundServiceProcesses")) | |
| 83 | |
| 73 def save(self): | 84 def save(self): |
| 74 """ | 85 """ |
| 75 Public slot to save the Application configuration. | 86 Public slot to save the Application configuration. |
| 76 """ | 87 """ |
| 77 Preferences.setUI( | 88 Preferences.setUI( |
| 119 self.errorlogCheckBox.isChecked()) | 130 self.errorlogCheckBox.isChecked()) |
| 120 | 131 |
| 121 Preferences.setUI( | 132 Preferences.setUI( |
| 122 "KeyboardInputInterval", | 133 "KeyboardInputInterval", |
| 123 self.intervalSpinBox.value()) | 134 self.intervalSpinBox.value()) |
| 124 | 135 |
| 136 Preferences.setUI( | |
| 137 "BackgroundServiceProcesses", | |
| 138 self.backgroundServicesSpinBox.value()) | |
| 139 | |
| 125 | 140 |
| 126 def create(dlg): | 141 def create(dlg): |
| 127 """ | 142 """ |
| 128 Module function to create the configuration page. | 143 Module function to create the configuration page. |
| 129 | 144 |
