UI/LogView.py

changeset 6387
a168b5f26a14
parent 6048
82ad8ec9548c
child 6573
ccac2d1f6858
diff -r 91dc4fa9bc9c -r a168b5f26a14 UI/LogView.py
--- a/UI/LogView.py	Sat Jun 30 15:51:40 2018 +0200
+++ b/UI/LogView.py	Sat Jun 30 16:58:20 2018 +0200
@@ -12,7 +12,7 @@
 from PyQt5.QtCore import Qt, pyqtSignal
 from PyQt5.QtGui import QBrush, QTextCursor, QTextDocument
 from PyQt5.QtWidgets import QTextEdit, QApplication, QMenu, QWidget, \
-    QHBoxLayout
+    QHBoxLayout, QSizePolicy
 
 from E5Gui.E5Application import e5App
 
@@ -41,6 +41,8 @@
         self.__logViewer = LogViewerEdit(self)
         from .SearchWidget import SearchWidget
         self.__searchWidget = SearchWidget(self.__logViewer, self)
+        self.__searchWidget.setSizePolicy(QSizePolicy.Fixed,
+                                          QSizePolicy.Preferred)
         self.__searchWidget.hide()
         
         self.__layout = QHBoxLayout(self)

eric ide

mercurial