A little enhancement to the new search widget for the shell, terminal and log viewer.

Sat, 05 May 2012 17:07:21 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 05 May 2012 17:07:21 +0200
changeset 1848
aa5003c03f83
parent 1843
0c00516e0403
child 1849
fb1d05e523d3

A little enhancement to the new search widget for the shell, terminal and log viewer.

UI/SearchWidget.py file | annotate | diff | comparison | revisions
diff -r 0c00516e0403 -r aa5003c03f83 UI/SearchWidget.py
--- a/UI/SearchWidget.py	Sat May 05 16:55:21 2012 +0200
+++ b/UI/SearchWidget.py	Sat May 05 17:07:21 2012 +0200
@@ -40,6 +40,12 @@
         if spacer:
             spacerItem = QSpacerItem(20, 1, QSizePolicy.Minimum, QSizePolicy.Expanding)
             self.verticalLayout.addItem(spacerItem)
+        else:
+            # change the size policy of the search combo if the spacer is not wanted,
+            # i.e. it is below the to be searched widget
+            sizePolicy = self.findtextCombo.sizePolicy()
+            sizePolicy.setHorizontalPolicy(QSizePolicy.Expanding)
+            self.findtextCombo.setSizePolicy(sizePolicy)
         
         self.__mainWindow = mainWindow
         self.__findBackwards = True

eric ide

mercurial