237 self.changesMapButton, |
237 self.changesMapButton, |
238 Preferences.getEditorColour) |
238 Preferences.getEditorColour) |
239 self.initColour("CurrentMap", |
239 self.initColour("CurrentMap", |
240 self.currentMapButton, |
240 self.currentMapButton, |
241 Preferences.getEditorColour) |
241 Preferences.getEditorColour) |
|
242 self.initColour("SearchMarkersMap", |
|
243 self.searchMarkerMapButton, |
|
244 Preferences.getEditorColour) |
242 self.initColour("MarkerMapBackground", |
245 self.initColour("MarkerMapBackground", |
243 self.markerMapBackgroundButton, |
246 self.markerMapBackgroundButton, |
244 Preferences.getEditorColour) |
247 Preferences.getEditorColour) |
245 |
248 |
246 self.indentguidesCheckBox.setChecked( |
249 self.indentguidesCheckBox.setChecked( |