60 |
61 |
61 def __drawIndicator(self, line, painter, color): |
62 def __drawIndicator(self, line, painter, color): |
62 """ |
63 """ |
63 Private method to draw an indicator. |
64 Private method to draw an indicator. |
64 |
65 |
65 @param line line number (integer) |
66 @param line line number |
66 @param painter reference to the painter (QPainter) |
67 @type int |
67 @param color color to be used (QColor) |
68 @param painter reference to the painter |
|
69 @type QPainter |
|
70 @param color color to be used |
|
71 @type QColor |
68 """ |
72 """ |
69 displayLine = self._controller.getVisibleLineFromDocLine(line) |
73 displayLine = self._controller.getVisibleLineFromDocLine(line) |
70 position = self.value2Position(displayLine) |
74 position = self.value2Position(displayLine) |
71 painter.setPen(color) |
75 painter.setPen(color) |
72 painter.setBrush(color) |
76 painter.setBrush(color) |
74 |
78 |
75 def _paintIt(self, painter): |
79 def _paintIt(self, painter): |
76 """ |
80 """ |
77 Protected method for painting the widget's indicators. |
81 Protected method for painting the widget's indicators. |
78 |
82 |
79 @param painter reference to the painter object (QPainter) |
83 @param painter reference to the painter object |
|
84 @type QPainter |
80 """ |
85 """ |
81 # draw indicators in reverse order of priority |
86 # draw indicators in reverse order of priority |
82 |
87 |
83 # 1. changes |
88 # 1. changes |
84 if Preferences.getEditor("ShowMarkerChanges"): |
89 if Preferences.getEditor("ShowMarkerChanges"): |