QScintilla/EditorMarkerMap.py

changeset 4304
f85965649066
parent 4021
195a471c327b
child 4631
5c1a96925da4
equal deleted inserted replaced
4303:57b5de82ce05 4304:f85965649066
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)

eric ide

mercurial