comparison: eric6/QScintilla/EditorMarkerMap.py
eric6/QScintilla/EditorMarkerMap.py
- changeset 7229
- 53054eb5b15a
- parent 6942
- 2602857055c5
- child 7360
- 9190402e4505
equal
deleted
inserted
replaced
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 __future__ import unicode_literals |
|
11 |
10 |
12 from E5Gui.E5MapWidget import E5MapWidget |
11 from E5Gui.E5MapWidget import E5MapWidget |
13 |
12 |
14 import Preferences |
13 import Preferences |
15 |
14 |