diff -r e60ea6cb8e11 -r 3d4277929fb3 Preferences/ConfigurationPages/InterfacePage.py --- a/Preferences/ConfigurationPages/InterfacePage.py Fri May 24 18:39:58 2013 +0200 +++ b/Preferences/ConfigurationPages/InterfacePage.py Tue May 28 20:52:12 2013 +0200 @@ -108,6 +108,8 @@ self.initColour("LogStdErrColour", self.stderrTextColourButton, Preferences.getUI) + self.delaySpinBox.setValue(Preferences.getUI("SidebarDelay")) + def save(self): """ Public slot to save the Interface configuration. @@ -180,6 +182,8 @@ Preferences.setUI("SingleCloseButton", self.tabsCloseButtonCheckBox.isChecked()) + Preferences.setUI("SidebarDelay", self.delaySpinBox.value()) + self.saveColours(Preferences.setUI) def __populateStyleCombo(self):