Preferences/ConfigurationPages/EditorStylesPage.py

changeset 3341
7c015811fc4d
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
diff -r 05bea6fa0845 -r 7c015811fc4d Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Thu Mar 06 19:17:30 2014 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Fri Mar 07 19:13:06 2014 +0100
@@ -211,6 +211,34 @@
         self.initColour("OnlineChangeTraceMarkerSaved",
                         self.changeMarkerSavedColorButton,
                         Preferences.getEditorColour)
+        
+        self.initColour("BookmarksMap",
+                        self.bookmarksMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("ErrorsMap",
+                        self.errorsMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("WarningsMap",
+                        self.warningsMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("BreakpointsMap",
+                        self.breakpointsMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("TasksMap",
+                        self.tasksMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("CoverageMap",
+                        self.coverageMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("ChangesMap",
+                        self.changesMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("CurrentMap",
+                        self.currentMapButton,
+                        Preferences.getEditorColour)
+        self.initColour("MarkerMapBackground",
+                        self.markerMapBackgroundButton,
+                        Preferences.getEditorColour)
     
     def save(self):
         """

eric ide

mercurial