--- a/Preferences/__init__.py Tue Sep 10 19:45:37 2013 +0200 +++ b/Preferences/__init__.py Wed Sep 11 19:17:57 2013 +0200 @@ -509,6 +509,8 @@ "AnnotationsWarningBackground": QColor("#ffffd0"), "AnnotationsErrorForeground": QColor("#600000"), "AnnotationsErrorBackground": QColor("#ffd0d0"), + "AnnotationsStyleForeground": QColor("#000060"), + "AnnotationsStyleBackground": QColor("#d0d0ff"), "WhitespaceForeground": QColor(Qt.darkGray), "WhitespaceBackground": QColor(Qt.white), "OnlineChangeTraceMarkerUnsaved": QColor("#ff8888"),