Preferences/ConfigurationPages/EditorStylesPage.py

changeset 4304
f85965649066
parent 4176
4c09d3d75768
child 4631
5c1a96925da4
diff -r 57b5de82ce05 -r f85965649066 Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Wed Jul 01 19:34:51 2015 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Fri Jul 03 19:07:06 2015 +0200
@@ -239,6 +239,9 @@
         self.initColour("CurrentMap",
                         self.currentMapButton,
                         Preferences.getEditorColour)
+        self.initColour("SearchMarkersMap",
+                        self.searchMarkerMapButton,
+                        Preferences.getEditorColour)
         self.initColour("MarkerMapBackground",
                         self.markerMapBackgroundButton,
                         Preferences.getEditorColour)

eric ide

mercurial