src/eric7/QScintilla/EditorMarkerMap.py

branch
eric7
changeset 10431
64157aeb0312
parent 9971
773ad1f1ed22
child 10439
21c28b0f9e41
equal deleted inserted replaced
10430:e440aaf179ce 10431:64157aeb0312
18 18
19 def __init__(self, parent=None): 19 def __init__(self, parent=None):
20 """ 20 """
21 Constructor 21 Constructor
22 22
23 @param parent reference to the parent widget (QWidget) 23 @param parent reference to the parent widget
24 @type QWidget
24 """ 25 """
25 super().__init__(parent) 26 super().__init__(parent)
26 27
27 self.setWhatsThis( 28 self.setWhatsThis(
28 self.tr( 29 self.tr(
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"):

eric ide

mercurial