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) |