Preferences/__init__.py

changeset 3341
7c015811fc4d
parent 3207
6cf664694e3c
child 3354
8d69c9dfb5e2
--- a/Preferences/__init__.py	Thu Mar 06 19:17:30 2014 +0100
+++ b/Preferences/__init__.py	Fri Mar 07 19:13:06 2014 +0100
@@ -526,6 +526,16 @@
         "WhitespaceBackground": QColor(Qt.white),
         "OnlineChangeTraceMarkerUnsaved": QColor("#ff8888"),
         "OnlineChangeTraceMarkerSaved": QColor("#88ff88"),
+        # colors for the marker map
+        "BookmarksMap": QColor("#f8c700"),
+        "ErrorsMap": QColor("#dd0000"),
+        "WarningsMap": QColor("#606000"),
+        "BreakpointsMap": QColor("#f55c07"),
+        "TasksMap": QColor("#2278f8"),
+        "CoverageMap": QColor("#ad3636"),
+        "ChangesMap": QColor("#00b000"),
+        "CurrentMap": QColor("#000000"),
+        "MarkerMapBackground": QColor("#e7e7e7"),
     }
     
     editorOtherFontsDefaults = {

eric ide

mercurial