E5Gui/E5MapWidget.py

changeset 4021
195a471c327b
parent 3904
65881041981d
child 4371
e09838aa0a9f
equal deleted inserted replaced
4020:ea66934c7d74 4021:195a471c327b
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2014 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2014 - 2015 Detlev Offenbach <detlev@die-offenbachs.de>
4 # 4 #
5 5
6 """ 6 """
7 Module implementing a base class for showing a document map. 7 Module implementing a base class for showing a document map.
8 """ 8 """

eric ide

mercurial