--- a/Preferences/__init__.py Thu Jun 10 20:11:25 2010 +0200 +++ b/Preferences/__init__.py Sat Jun 12 15:24:53 2010 +0200 @@ -372,23 +372,25 @@ 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), - "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(230, 230, 230), + "FoldMarkersForeground" : QtGui.QColor(QtCore.Qt.white), + "FoldMarkersBackground" : QtGui.QColor(QtCore.Qt.black), + "SpellingMarkers" : QtGui.QColor(QtCore.Qt.red), } editorOtherFontsDefaults = {