Mercurial Repositories > eric / file diff

--- a/Preferences/ConfigurationPages/ApplicationPage.py	Sat Jul 02 14:54:14 2016 +0200
+++ b/Preferences/ConfigurationPages/ApplicationPage.py	Sat Jul 02 19:14:09 2016 +0200
@@ -63,6 +63,9 @@
         self.errorlogCheckBox.setChecked(
             Preferences.getUI("CheckErrorLog"))
         
+        self.intervalSpinBox.setValue(
+            Preferences.getUI("KeyboardInputInterval"))
+        
     def save(self):
         """
         Public slot to save the Application configuration.
@@ -105,6 +108,10 @@
         Preferences.setUI(
             "CheckErrorLog",
             self.errorlogCheckBox.isChecked())
+        
+        Preferences.setUI(
+            "KeyboardInputInterval",
+            self.intervalSpinBox.value())
     
 
 def create(dlg):