diff -r 22ae08988de7 -r 360c4eb76d6c Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py Thu Jun 10 20:11:25 2010 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py Sat Jun 12 15:24:53 2010 +0200
@@ -108,6 +108,12 @@
self.editorColours["FoldmarginBackground"] = \
self.initColour("FoldmarginBackground", self.foldmarginBackgroundButton,
Preferences.getEditorColour)
+ self.editorColours["FoldMarkersForeground"] = \
+ self.initColour("FoldMarkersForeground", self.foldmarkersForegroundButton,
+ Preferences.getEditorColour)
+ self.editorColours["FoldMarkersBackground"] = \
+ self.initColour("FoldMarkersBackground", self.foldmarkersBackgroundButton,
+ Preferences.getEditorColour)
self.eolCheckBox.setChecked(Preferences.getEditor("ShowEOL"))
self.wrapLongLinesCheckBox.setChecked(\
@@ -347,6 +353,24 @@
self.selectColour(self.nonmatchingBracesBackButton,
self.editorColours["NonmatchingBraceBack"])
+ @pyqtSlot()
+ def on_foldmarkersForegroundButton_clicked(self):
+ """
+ Private slot to set the foreground colour for the foldmarkers.
+ """
+ self.editorColours["FoldMarkersForeground"] = \
+ self.selectColour(self.foldmarkersForegroundButton,
+ self.editorColours["FoldMarkersForeground"])
+
+ @pyqtSlot()
+ def on_foldmarkersBackgroundButton_clicked(self):
+ """
+ Private slot to set the background colour for the margins.
+ """
+ self.editorColours["FoldMarkersBackground"] = \
+ self.selectColour(self.foldmarkersBackgroundButton,
+ self.editorColours["FoldMarkersBackground"])
+
def polishPage(self):
"""
Public slot to perform some polishing actions.
