Preferences/ConfigurationPages/EditorStylesPage.py

changeset 4304
f85965649066
parent 4176
4c09d3d75768
child 4631
5c1a96925da4
equal deleted inserted replaced
4303:57b5de82ce05 4304:f85965649066
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(

eric ide

mercurial