QScintilla/EditorMarkerMap.py

changeset 4304
f85965649066
parent 4021
195a471c327b
child 4631
5c1a96925da4
--- a/QScintilla/EditorMarkerMap.py	Wed Jul 01 19:34:51 2015 +0200
+++ b/QScintilla/EditorMarkerMap.py	Fri Jul 03 19:07:06 2015 +0200
@@ -53,6 +53,8 @@
         self.__coverageColor = Preferences.getEditorColour("CoverageMap")
         self.__changeColor = Preferences.getEditorColour("ChangesMap")
         self.__currentLineMarker = Preferences.getEditorColour("CurrentMap")
+        self.__searchMarkerColor = Preferences.getEditorColour(
+            "SearchMarkersMap")
         self.update()
     
     def __drawIndicator(self, line, painter, color):
@@ -96,14 +98,18 @@
         for line in self._master.getBookmarkLines():
             self.__drawIndicator(line, painter, self.__bookmarkColor)
         
-        # 6. warnings
+        # 6. search markers
+        for line in self._master.getSearchIndicatorLines():
+            self.__drawIndicator(line, painter, self.__searchMarkerColor)
+        
+        # 7. warnings
         for line in self._master.getWarningLines():
             self.__drawIndicator(line, painter, self.__warningColor)
         
-        # 7. errors
+        # 8. errors
         for line in self._master.getSyntaxErrorLines():
             self.__drawIndicator(line, painter, self.__errorColor)
         
-        # 8. current line
+        # 9. current line
         self.__drawIndicator(self._master.getCursorPosition()[0], painter,
                              self.__currentLineMarker)

eric ide

mercurial