eric6/QScintilla/EditorMarkerMap.py

changeset 7229
53054eb5b15a
parent 6942
2602857055c5
child 7360
9190402e4505
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
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

eric ide

mercurial