eric7/QScintilla/EditorMarkerMap.py

branch
eric7
changeset 8356
68ec9c3d4de5
parent 8312
800c432b34c8
child 8358
144a6b854f70
equal deleted inserted replaced
8355:8a7677a63c8d 8356:68ec9c3d4de5
5 5
6 """ 6 """
7 Module implementing a class for showing an editor marker map. 7 Module implementing a class for showing an editor marker map.
8 """ 8 """
9 9
10 from E5Gui.E5MapWidget import E5MapWidget 10 from E5Gui.EricMapWidget import EricMapWidget
11 11
12 import Preferences 12 import Preferences
13 13
14 14
15 class EditorMarkerMap(E5MapWidget): 15 class EditorMarkerMap(EricMapWidget):
16 """ 16 """
17 Class implementing a class for showing an editor marker map. 17 Class implementing a class for showing an editor marker map.
18 """ 18 """
19 def __init__(self, parent=None): 19 def __init__(self, parent=None):
20 """ 20 """

eric ide

mercurial