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