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