291 self.indentationGuidesBackgroundButton, |
291 self.indentationGuidesBackgroundButton, |
292 Preferences.getEditorColour) |
292 Preferences.getEditorColour) |
293 self.initColour("IndentationGuidesForeground", |
293 self.initColour("IndentationGuidesForeground", |
294 self.indentationGuidesForegroundButton, |
294 self.indentationGuidesForegroundButton, |
295 Preferences.getEditorColour) |
295 Preferences.getEditorColour) |
|
296 |
|
297 self.initColour("HighlightMarker", |
|
298 self.highlightingBackgroundButton, |
|
299 Preferences.getEditorColour, |
|
300 hasAlpha=True) |
296 |
301 |
297 def save(self): |
302 def save(self): |
298 """ |
303 """ |
299 Public slot to save the Editor Styles configuration. |
304 Public slot to save the Editor Styles configuration. |
300 """ |
305 """ |