E5Gui/E5MapWidget.py

changeset 3656
441956d8fce5
parent 3591
2f2a4a76dd22
child 3698
3febb7d8b2dc
equal deleted inserted replaced
3654:ffeb85cdc72d 3656:441956d8fce5
7 Module implementing a base class for showing a document map. 7 Module implementing a base class for showing a document map.
8 """ 8 """
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11 11
12 from PyQt4.QtCore import Qt, QSize, QRect, QCoreApplication 12 from PyQt5.QtCore import Qt, QSize, QRect, QCoreApplication
13 from PyQt4.QtGui import QWidget, QAbstractScrollArea, QColor, QBrush, QPainter 13 from PyQt5.QtGui import QColor, QBrush, QPainter
14 from PyQt5.QtWidgets import QWidget, QAbstractScrollArea
14 15
15 16
16 class E5MapWidget(QWidget): 17 class E5MapWidget(QWidget):
17 """ 18 """
18 Class implementing a base class for showing a document map. 19 Class implementing a base class for showing a document map.

eric ide

mercurial