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 """ |