diff -r 6dc2a30ee786 -r 3ee110082fb7 Preferences/__init__.py
--- a/Preferences/__init__.py Thu Nov 18 08:46:43 2010 +0100
+++ b/Preferences/__init__.py Thu Nov 18 20:53:30 2010 +0100
@@ -378,25 +378,29 @@
editorDefaults["EOLMode"] = Qsci.QsciScintilla.EolUnix
editorColourDefaults = {
- "CurrentMarker" : QtGui.QColor(QtCore.Qt.yellow),
- "ErrorMarker" : QtGui.QColor(QtCore.Qt.red),
- "MatchingBrace" : QtGui.QColor(QtCore.Qt.green),
- "MatchingBraceBack" : QtGui.QColor(QtCore.Qt.white),
- "NonmatchingBrace" : QtGui.QColor(QtCore.Qt.red),
- "NonmatchingBraceBack" : QtGui.QColor(QtCore.Qt.white),
- "CallTipsBackground" : QtGui.QColor(QtCore.Qt.white),
- "CaretForeground" : QtGui.QColor(QtCore.Qt.black),
- "CaretLineBackground" : QtGui.QColor(QtCore.Qt.white),
- "Edge" : QtGui.QColor(QtCore.Qt.lightGray),
- "SelectionBackground" : QtGui.QColor(QtCore.Qt.black),
- "SelectionForeground" : QtGui.QColor(QtCore.Qt.white),
- "SearchMarkers" : QtGui.QColor(QtCore.Qt.blue),
- "MarginsBackground" : QtGui.QColor(QtCore.Qt.lightGray),
- "MarginsForeground" : QtGui.QColor(QtCore.Qt.black),
- "FoldmarginBackground" : QtGui.QColor(230, 230, 230),
- "FoldMarkersForeground" : QtGui.QColor(QtCore.Qt.white),
- "FoldMarkersBackground" : QtGui.QColor(QtCore.Qt.black),
- "SpellingMarkers" : QtGui.QColor(QtCore.Qt.red),
+ "CurrentMarker" : QtGui.QColor(QtCore.Qt.yellow),
+ "ErrorMarker" : QtGui.QColor(QtCore.Qt.red),
+ "MatchingBrace" : QtGui.QColor(QtCore.Qt.green),
+ "MatchingBraceBack" : QtGui.QColor(QtCore.Qt.white),
+ "NonmatchingBrace" : QtGui.QColor(QtCore.Qt.red),
+ "NonmatchingBraceBack" : QtGui.QColor(QtCore.Qt.white),
+ "CallTipsBackground" : QtGui.QColor(QtCore.Qt.white),
+ "CaretForeground" : QtGui.QColor(QtCore.Qt.black),
+ "CaretLineBackground" : QtGui.QColor(QtCore.Qt.white),
+ "Edge" : QtGui.QColor(QtCore.Qt.lightGray),
+ "SelectionBackground" : QtGui.QColor(QtCore.Qt.black),
+ "SelectionForeground" : QtGui.QColor(QtCore.Qt.white),
+ "SearchMarkers" : QtGui.QColor(QtCore.Qt.blue),
+ "MarginsBackground" : QtGui.QColor(QtCore.Qt.lightGray),
+ "MarginsForeground" : QtGui.QColor(QtCore.Qt.black),
+ "FoldmarginBackground" : QtGui.QColor("#e6e6e6"),
+ "FoldMarkersForeground" : QtGui.QColor(QtCore.Qt.white),
+ "FoldMarkersBackground" : QtGui.QColor(QtCore.Qt.black),
+ "SpellingMarkers" : QtGui.QColor(QtCore.Qt.red),
+ "AnnotationsWarningForeground" : QtGui.QColor("#606000"),
+ "AnnotationsWarningBackground" : QtGui.QColor("#ffffd0"),
+ "AnnotationsErrorForeground" : QtGui.QColor("#600000"),
+ "AnnotationsErrorBackground" : QtGui.QColor("#ffd0d0"),
}
editorOtherFontsDefaults = {
