23 Constructor |
23 Constructor |
24 |
24 |
25 @param parent reference to the parent widget (QWidget) |
25 @param parent reference to the parent widget (QWidget) |
26 """ |
26 """ |
27 super(EditorMarkerMap, self).__init__(parent) |
27 super(EditorMarkerMap, self).__init__(parent) |
|
28 |
|
29 self.setWhatsThis(self.tr( |
|
30 """<b>Editor Map</b>""" |
|
31 """<p>This shows a 'map' of the editor. The visible area is""" |
|
32 """ highlighted by the box and all markers like bookmarks,""" |
|
33 """ breakpoints, errors or changed lines are indicated""" |
|
34 """ by differently colored lines configurable via the""" |
|
35 """ Editor\u279dStyle page of the configuration dialog.</p>""" |
|
36 )) |
28 |
37 |
29 # initialize colors for various markers |
38 # initialize colors for various markers |
30 self.initColors() |
39 self.initColors() |
31 |
40 |
32 def initColors(self): |
41 def initColors(self): |