Mercurial Repositories > eric / file diff

--- a/UI/UserInterface.py	Sat Jul 02 14:54:14 2016 +0200
+++ b/UI/UserInterface.py	Sat Jul 02 19:14:09 2016 +0200
@@ -611,6 +611,11 @@
         self.__lastConfigurationPageName = ""
         self.__expandedConfigurationEntries = []
         
+        # set the keyboard input interval
+        interval = Preferences.getUI("KeyboardInputInterval")
+        if interval > 0:
+            QApplication.setKeyboardInputInterval(interval)
+        
     def __createLayout(self, debugServer):
         """
         Private method to create the layout of the various windows.
@@ -5446,6 +5451,13 @@
         for hexEditor in HexEditMainWindow.windows:
             hexEditor.preferencesChanged()
         
+        # set the keyboard input interval
+        interval = Preferences.getUI("KeyboardInputInterval")
+        if interval > 0:
+            QApplication.setKeyboardInputInterval(interval)
+        else:
+            QApplication.setKeyboardInputInterval(-1)
+        
         self.preferencesChanged.emit()
     
     def __masterPasswordChanged(self, oldPassword, newPassword):