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 """ |