51 self.__breakpointColor = Preferences.getEditorColour("BreakpointsMap") |
51 self.__breakpointColor = Preferences.getEditorColour("BreakpointsMap") |
52 self.__taskColor = Preferences.getEditorColour("TasksMap") |
52 self.__taskColor = Preferences.getEditorColour("TasksMap") |
53 self.__coverageColor = Preferences.getEditorColour("CoverageMap") |
53 self.__coverageColor = Preferences.getEditorColour("CoverageMap") |
54 self.__changeColor = Preferences.getEditorColour("ChangesMap") |
54 self.__changeColor = Preferences.getEditorColour("ChangesMap") |
55 self.__currentLineMarker = Preferences.getEditorColour("CurrentMap") |
55 self.__currentLineMarker = Preferences.getEditorColour("CurrentMap") |
|
56 self.__searchMarkerColor = Preferences.getEditorColour( |
|
57 "SearchMarkersMap") |
56 self.update() |
58 self.update() |
57 |
59 |
58 def __drawIndicator(self, line, painter, color): |
60 def __drawIndicator(self, line, painter, color): |
59 """ |
61 """ |
60 Private method to draw an indicator. |
62 Private method to draw an indicator. |
94 |
96 |
95 # 5. bookmarks |
97 # 5. bookmarks |
96 for line in self._master.getBookmarkLines(): |
98 for line in self._master.getBookmarkLines(): |
97 self.__drawIndicator(line, painter, self.__bookmarkColor) |
99 self.__drawIndicator(line, painter, self.__bookmarkColor) |
98 |
100 |
99 # 6. warnings |
101 # 6. search markers |
|
102 for line in self._master.getSearchIndicatorLines(): |
|
103 self.__drawIndicator(line, painter, self.__searchMarkerColor) |
|
104 |
|
105 # 7. warnings |
100 for line in self._master.getWarningLines(): |
106 for line in self._master.getWarningLines(): |
101 self.__drawIndicator(line, painter, self.__warningColor) |
107 self.__drawIndicator(line, painter, self.__warningColor) |
102 |
108 |
103 # 7. errors |
109 # 8. errors |
104 for line in self._master.getSyntaxErrorLines(): |
110 for line in self._master.getSyntaxErrorLines(): |
105 self.__drawIndicator(line, painter, self.__errorColor) |
111 self.__drawIndicator(line, painter, self.__errorColor) |
106 |
112 |
107 # 8. current line |
113 # 9. current line |
108 self.__drawIndicator(self._master.getCursorPosition()[0], painter, |
114 self.__drawIndicator(self._master.getCursorPosition()[0], painter, |
109 self.__currentLineMarker) |
115 self.__currentLineMarker) |