Preferences/ConfigurationPages/ApplicationPage.py

changeset 5762
76ef5f340007
parent 5395
56efc13e456e
child 6048
82ad8ec9548c
--- 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):
     """

eric ide

mercurial