Preferences/ConfigurationPages/EditorStylesPage.py

changeset 5706
59458b006d76
parent 5416
16366120b523
child 5733
aed3e558407f
equal deleted inserted replaced
5705:6449a0280c54 5706:59458b006d76
115 Preferences.getEditorColour, hasAlpha=True) 115 Preferences.getEditorColour, hasAlpha=True)
116 self.initColour("SelectionForeground", self.selectionForegroundButton, 116 self.initColour("SelectionForeground", self.selectionForegroundButton,
117 Preferences.getEditorColour) 117 Preferences.getEditorColour)
118 self.initColour("SelectionBackground", self.selectionBackgroundButton, 118 self.initColour("SelectionBackground", self.selectionBackgroundButton,
119 Preferences.getEditorColour, hasAlpha=True) 119 Preferences.getEditorColour, hasAlpha=True)
120 self.initColour("CurrentMarker", self.currentLineMarkerButton,
121 Preferences.getEditorColour, hasAlpha=True)
122 self.initColour("ErrorMarker", self.errorMarkerButton,
123 Preferences.getEditorColour, hasAlpha=True)
124 self.initColour("MarginsForeground", self.marginsForegroundButton, 120 self.initColour("MarginsForeground", self.marginsForegroundButton,
125 Preferences.getEditorColour) 121 Preferences.getEditorColour)
126 self.initColour("MarginsBackground", self.marginsBackgroundButton, 122 self.initColour("MarginsBackground", self.marginsBackgroundButton,
127 Preferences.getEditorColour) 123 Preferences.getEditorColour)
128 self.initColour("FoldmarginBackground", 124 self.initColour("FoldmarginBackground",

eric ide

mercurial