--- 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 = {