E5Gui/E5MapWidget.py

changeset 6048
82ad8ec9548c
parent 6031
ccab25598d90
child 6278
13fd8759f981
equal deleted inserted replaced
6047:39586a2de99d 6048:82ad8ec9548c
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2014 - 2017 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2014 - 2018 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