QScintilla/EditorMarkerMap.py

changeset 6648
c09e6c6006eb
parent 6645
ad476851d7e0
--- a/QScintilla/EditorMarkerMap.py	Thu Jan 10 14:18:48 2019 +0100
+++ b/QScintilla/EditorMarkerMap.py	Thu Jan 10 18:01:19 2019 +0100
@@ -82,12 +82,14 @@
         # draw indicators in reverse order of priority
         
         # 1. changes
-        for line in self._master.getChangeLines():
-            self.__drawIndicator(line, painter, self.__changeColor)
+        if Preferences.getEditor("ShowMarkerChanges"):
+            for line in self._master.getChangeLines():
+                self.__drawIndicator(line, painter, self.__changeColor)
         
         # 2. coverage
-        for line in self._master.getCoverageLines():
-            self.__drawIndicator(line, painter, self.__coverageColor)
+        if Preferences.getEditor("ShowMarkerCoverage"):
+            for line in self._master.getCoverageLines():
+                self.__drawIndicator(line, painter, self.__coverageColor)
         
         # 3. tasks
         for line in self._master.getTaskLines():
@@ -102,21 +104,22 @@
             self.__drawIndicator(line, painter, self.__bookmarkColor)
         
         # 6. search markers
-        for line in self._master.getSearchIndicatorLines():
-            self.__drawIndicator(line, painter, self.__searchMarkerColor)
+        if Preferences.getEditor("ShowMarkerSearch"):
+            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)
         
-        # 8a. VCS conflict markers
+        # 8. VCS conflict markers
         for line in self._master.getVcsConflictMarkerLines():
             self.__drawIndicator(line, painter, self.__vcsConflictMarkerColor)
         
-        # 8b. errors
+        # 9. errors
         for line in self._master.getSyntaxErrorLines():
             self.__drawIndicator(line, painter, self.__errorColor)
         
-        # 9. current line
+        # 10. current line
         self.__drawIndicator(self._master.getCursorPosition()[0], painter,
                              self.__currentLineMarker)

eric ide

mercurial