103 self.tabsCloseButtonCheckBox.setChecked( |
103 self.tabsCloseButtonCheckBox.setChecked( |
104 Preferences.getUI("SingleCloseButton")) |
104 Preferences.getUI("SingleCloseButton")) |
105 |
105 |
106 self.initColour("LogStdErrColour", self.stderrTextColourButton, |
106 self.initColour("LogStdErrColour", self.stderrTextColourButton, |
107 Preferences.getUI) |
107 Preferences.getUI) |
|
108 |
|
109 self.delaySpinBox.setValue(Preferences.getUI("SidebarDelay")) |
108 |
110 |
109 def save(self): |
111 def save(self): |
110 """ |
112 """ |
111 Public slot to save the Interface configuration. |
113 Public slot to save the Interface configuration. |
112 """ |
114 """ |
175 layout = (layout1, layout2, layout3) |
177 layout = (layout1, layout2, layout3) |
176 Preferences.setUILayout(layout) |
178 Preferences.setUILayout(layout) |
177 |
179 |
178 Preferences.setUI("SingleCloseButton", |
180 Preferences.setUI("SingleCloseButton", |
179 self.tabsCloseButtonCheckBox.isChecked()) |
181 self.tabsCloseButtonCheckBox.isChecked()) |
|
182 |
|
183 Preferences.setUI("SidebarDelay", self.delaySpinBox.value()) |
180 |
184 |
181 self.saveColours(Preferences.setUI) |
185 self.saveColours(Preferences.setUI) |
182 |
186 |
183 def __populateStyleCombo(self): |
187 def __populateStyleCombo(self): |
184 """ |
188 """ |