Preferences/ConfigurationPages/EditorStylesPage.py

changeset 6278
13fd8759f981
parent 6111
d38b38117d83
child 6299
feb3cf2cbde3
equal deleted inserted replaced
6277:e22952cec018 6278:13fd8759f981
222 Preferences.getEditorColour) 222 Preferences.getEditorColour)
223 self.initColour("OnlineChangeTraceMarkerSaved", 223 self.initColour("OnlineChangeTraceMarkerSaved",
224 self.changeMarkerSavedColorButton, 224 self.changeMarkerSavedColorButton,
225 Preferences.getEditorColour) 225 Preferences.getEditorColour)
226 226
227 self.markerMapRightCheckBox.setChecked(
228 Preferences.getEditor("ShowMarkerMapOnRight"))
227 self.initColour("BookmarksMap", 229 self.initColour("BookmarksMap",
228 self.bookmarksMapButton, 230 self.bookmarksMapButton,
229 Preferences.getEditorColour) 231 Preferences.getEditorColour)
230 self.initColour("ErrorsMap", 232 self.initColour("ErrorsMap",
231 self.errorsMapButton, 233 self.errorsMapButton,
352 354
353 Preferences.setEditor( 355 Preferences.setEditor(
354 "IndentationGuides", 356 "IndentationGuides",
355 self.indentguidesCheckBox.isChecked()) 357 self.indentguidesCheckBox.isChecked())
356 358
359 Preferences.setEditor(
360 "ShowMarkerMapOnRight",
361 self.markerMapRightCheckBox.isChecked())
362
357 self.saveColours(Preferences.setEditorColour) 363 self.saveColours(Preferences.setEditorColour)
358 for key in list(self.editorColours.keys()): 364 for key in list(self.editorColours.keys()):
359 Preferences.setEditorColour(key, self.editorColours[key]) 365 Preferences.setEditorColour(key, self.editorColours[key])
360 366
361 @pyqtSlot() 367 @pyqtSlot()

eric ide

mercurial