UI/LogView.py

changeset 2409
df3820f08247
parent 2302
f29e9405c851
child 2525
8b507a9a2d40
child 2965
d133c7edd88a
equal deleted inserted replaced
2408:dc3a7c9d8f6e 2409:df3820f08247
11 from PyQt4.QtGui import QTextEdit, QBrush, QApplication, QMenu, QTextCursor, QWidget, \ 11 from PyQt4.QtGui import QTextEdit, QBrush, QApplication, QMenu, QTextCursor, QWidget, \
12 QHBoxLayout, QTextDocument 12 QHBoxLayout, QTextDocument
13 13
14 from E5Gui.E5Application import e5App 14 from E5Gui.E5Application import e5App
15 15
16 from .SearchWidget import SearchWidget
17
18 import UI.PixmapCache 16 import UI.PixmapCache
19 import Preferences 17 import Preferences
20 18
21 19
22 class LogViewer(QWidget): 20 class LogViewer(QWidget):
32 super().__init__(parent) 30 super().__init__(parent)
33 31
34 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) 32 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png"))
35 33
36 self.__logViewer = LogViewerEdit(self) 34 self.__logViewer = LogViewerEdit(self)
35 from .SearchWidget import SearchWidget
37 self.__searchWidget = SearchWidget(self.__logViewer, self) 36 self.__searchWidget = SearchWidget(self.__logViewer, self)
38 self.__searchWidget.hide() 37 self.__searchWidget.hide()
39 38
40 self.__layout = QHBoxLayout(self) 39 self.__layout = QHBoxLayout(self)
41 self.__layout.setContentsMargins(1, 1, 1, 1) 40 self.__layout.setContentsMargins(1, 1, 1, 1)

eric ide

mercurial