--- a/Preferences/ConfigurationPages/InterfacePage.py Fri Apr 26 19:48:36 2013 +0200 +++ b/Preferences/ConfigurationPages/InterfacePage.py Sat Apr 27 13:56:42 2013 +0200 @@ -106,6 +106,8 @@ self.initColour("LogStdErrColour", self.stderrTextColourButton, Preferences.getUI) + self.delaySpinBox.setValue(Preferences.getUI("SidebarDelay")) + def save(self): """ Public slot to save the Interface configuration. @@ -178,6 +180,8 @@ Preferences.setUI("SingleCloseButton", self.tabsCloseButtonCheckBox.isChecked()) + Preferences.setUI("SidebarDelay", self.delaySpinBox.value()) + self.saveColours(Preferences.setUI) def __populateStyleCombo(self):