Preferences/ConfigurationPages/EditorStylesPage.py

changeset 5416
16366120b523
parent 5389
9b1c800daff3
child 5706
59458b006d76
equal deleted inserted replaced
5415:160f72d69cff 5416:16366120b523
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(

eric ide

mercurial