Preferences/ConfigurationPages/EditorStylesPage.py

changeset 6932
8a3df4c6ac9a
parent 6843
5e1afd1577b9
equal deleted inserted replaced
6931:faac36ec9d76 6932:8a3df4c6ac9a
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 """

eric ide

mercurial