diff -r 8b1ca3c1da22 -r 4085e2348621 Preferences/ConfigurationPages/ApplicationPage.py --- 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):