--- a/Preferences/ConfigurationPages/ApplicationPage.py Tue Jun 20 14:45:35 2017 +0200 +++ b/Preferences/ConfigurationPages/ApplicationPage.py Wed Jun 21 19:40:59 2017 +0200 @@ -27,6 +27,14 @@ self.setupUi(self) self.setObjectName("ApplicationPage") + self.backgroundServicesLabel.setText(self.tr( + "eric is using background services for certain things like" + " syntax checks or code style checks. Per default the number" + " of processes to use for these checks is determined" + " automatically based on the number of CPUs. Please note, that" + " this is an advanced setting." + )) + # set initial values self.singleApplicationCheckBox.setChecked( Preferences.getUI("SingleApplicationMode")) @@ -70,6 +78,9 @@ self.intervalSpinBox.setValue( Preferences.getUI("KeyboardInputInterval")) + self.backgroundServicesSpinBox.setValue( + Preferences.getUI("BackgroundServiceProcesses")) + def save(self): """ Public slot to save the Application configuration. @@ -121,7 +132,11 @@ Preferences.setUI( "KeyboardInputInterval", self.intervalSpinBox.value()) - + + Preferences.setUI( + "BackgroundServiceProcesses", + self.backgroundServicesSpinBox.value()) + def create(dlg): """