QScintilla/EditorMarkerMap.py

changeset 3913
9d13be0ff3d2
parent 3484
645c12de6b0c
child 4021
195a471c327b
equal deleted inserted replaced
3912:66ea4a82a97f 3913:9d13be0ff3d2
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):

eric ide

mercurial