Helpviewer/History/HistoryManager.py

changeset 1112
8a7d1b9d18db
parent 945
8cd4d08fa9f6
child 1131
7781e396c903
equal deleted inserted replaced
1109:9552b5e16a07 1112:8a7d1b9d18db
5 5
6 """ 6 """
7 Module implementing the history manager. 7 Module implementing the history manager.
8 """ 8 """
9 9
10 from PyQt4.QtCore import * 10 from PyQt4.QtCore import pyqtSignal, QFileInfo, QDateTime, QDate, QTime, QUrl, QTimer, \
11 from PyQt4.QtGui import * 11 QFile, QIODevice, QByteArray, QDataStream, QTemporaryFile
12 from PyQt4.QtWebKit import QWebHistoryInterface, QWebSettings 12 from PyQt4.QtWebKit import QWebHistoryInterface, QWebSettings
13 13
14 from E5Gui import E5MessageBox 14 from E5Gui import E5MessageBox
15 15
16 from .HistoryModel import HistoryModel 16 from .HistoryModel import HistoryModel

eric ide

mercurial