194 self.whitespaceForegroundButton.setEnabled(False) |
194 self.whitespaceForegroundButton.setEnabled(False) |
195 self.whitespaceBackgroundButton.setEnabled(False) |
195 self.whitespaceBackgroundButton.setEnabled(False) |
196 |
196 |
197 self.miniMenuCheckBox.setChecked( |
197 self.miniMenuCheckBox.setChecked( |
198 Preferences.getEditor("MiniContextMenu")) |
198 Preferences.getEditor("MiniContextMenu")) |
|
199 self.hideFormatButtonsCheckBox.setChecked( |
|
200 Preferences.getEditor("HideFormatButtons")) |
199 |
201 |
200 self.enableAnnotationsCheckBox.setChecked( |
202 self.enableAnnotationsCheckBox.setChecked( |
201 Preferences.getEditor("AnnotationsEnabled")) |
203 Preferences.getEditor("AnnotationsEnabled")) |
202 |
204 |
203 self.editAreaOverrideCheckBox.setChecked( |
205 self.editAreaOverrideCheckBox.setChecked( |
322 Preferences.setEditor( |
324 Preferences.setEditor( |
323 "WhitespaceSize", self.whitespaceSizeSpinBox.value()) |
325 "WhitespaceSize", self.whitespaceSizeSpinBox.value()) |
324 |
326 |
325 Preferences.setEditor( |
327 Preferences.setEditor( |
326 "MiniContextMenu", self.miniMenuCheckBox.isChecked()) |
328 "MiniContextMenu", self.miniMenuCheckBox.isChecked()) |
|
329 Preferences.setEditor( |
|
330 "HideFormatButtons", self.hideFormatButtonsCheckBox.isChecked()) |
327 |
331 |
328 Preferences.setEditor( |
332 Preferences.setEditor( |
329 "AnnotationsEnabled", self.enableAnnotationsCheckBox.isChecked()) |
333 "AnnotationsEnabled", self.enableAnnotationsCheckBox.isChecked()) |
330 |
334 |
331 Preferences.setEditor( |
335 Preferences.setEditor( |