Preferences/ConfigurationPages/EditorStylesPage.py

changeset 3341
7c015811fc4d
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
equal deleted inserted replaced
3340:05bea6fa0845 3341:7c015811fc4d
209 self.changeMarkerUnsavedColorButton, 209 self.changeMarkerUnsavedColorButton,
210 Preferences.getEditorColour) 210 Preferences.getEditorColour)
211 self.initColour("OnlineChangeTraceMarkerSaved", 211 self.initColour("OnlineChangeTraceMarkerSaved",
212 self.changeMarkerSavedColorButton, 212 self.changeMarkerSavedColorButton,
213 Preferences.getEditorColour) 213 Preferences.getEditorColour)
214
215 self.initColour("BookmarksMap",
216 self.bookmarksMapButton,
217 Preferences.getEditorColour)
218 self.initColour("ErrorsMap",
219 self.errorsMapButton,
220 Preferences.getEditorColour)
221 self.initColour("WarningsMap",
222 self.warningsMapButton,
223 Preferences.getEditorColour)
224 self.initColour("BreakpointsMap",
225 self.breakpointsMapButton,
226 Preferences.getEditorColour)
227 self.initColour("TasksMap",
228 self.tasksMapButton,
229 Preferences.getEditorColour)
230 self.initColour("CoverageMap",
231 self.coverageMapButton,
232 Preferences.getEditorColour)
233 self.initColour("ChangesMap",
234 self.changesMapButton,
235 Preferences.getEditorColour)
236 self.initColour("CurrentMap",
237 self.currentMapButton,
238 Preferences.getEditorColour)
239 self.initColour("MarkerMapBackground",
240 self.markerMapBackgroundButton,
241 Preferences.getEditorColour)
214 242
215 def save(self): 243 def save(self):
216 """ 244 """
217 Public slot to save the Editor Styles configuration. 245 Public slot to save the Editor Styles configuration.
218 """ 246 """

eric ide

mercurial