eric6/E5Gui/E5MapWidget.py

changeset 7780
41420f82c0ac
parent 7360
9190402e4505
child 7923
91e843545d9a
equal deleted inserted replaced
7779:757334671130 7780:41420f82c0ac
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 """
9
10 9
11 from PyQt5.QtCore import Qt, QSize, QRect, QCoreApplication 10 from PyQt5.QtCore import Qt, QSize, QRect, QCoreApplication
12 from PyQt5.QtGui import QColor, QBrush, QPainter 11 from PyQt5.QtGui import QColor, QBrush, QPainter
13 from PyQt5.QtWidgets import QWidget, QAbstractScrollArea 12 from PyQt5.QtWidgets import QWidget, QAbstractScrollArea
14 13

eric ide

mercurial