QScintilla/EditorMarkerMap.py

changeset 3339
d0a603f1bfcd
parent 3329
1ee38e29ed4f
child 3341
7c015811fc4d
equal deleted inserted replaced
3337:49faa820151a 3339:d0a603f1bfcd
42 @param line line number (integer) 42 @param line line number (integer)
43 @param painter reference to the painter (QPainter) 43 @param painter reference to the painter (QPainter)
44 @param color color to be used (QColor) 44 @param color color to be used (QColor)
45 """ 45 """
46 position = self.value2Position(line) 46 position = self.value2Position(line)
47 painter.setPen(color.darker(120)) 47 painter.setPen(color)
48 painter.setBrush(color) 48 painter.setBrush(color)
49 painter.drawRect(self.generateIndicatorRect(position)) 49 painter.drawRect(self.generateIndicatorRect(position))
50 50
51 def _paintIt(self, painter): 51 def _paintIt(self, painter):
52 """ 52 """

eric ide

mercurial