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() |