38 super().__init__(parent) |
38 super().__init__(parent) |
39 self.setupUi(self) |
39 self.setupUi(self) |
40 if spacer: |
40 if spacer: |
41 spacerItem = QSpacerItem(20, 1, QSizePolicy.Minimum, QSizePolicy.Expanding) |
41 spacerItem = QSpacerItem(20, 1, QSizePolicy.Minimum, QSizePolicy.Expanding) |
42 self.verticalLayout.addItem(spacerItem) |
42 self.verticalLayout.addItem(spacerItem) |
|
43 else: |
|
44 # change the size policy of the search combo if the spacer is not wanted, |
|
45 # i.e. it is below the to be searched widget |
|
46 sizePolicy = self.findtextCombo.sizePolicy() |
|
47 sizePolicy.setHorizontalPolicy(QSizePolicy.Expanding) |
|
48 self.findtextCombo.setSizePolicy(sizePolicy) |
43 |
49 |
44 self.__mainWindow = mainWindow |
50 self.__mainWindow = mainWindow |
45 self.__findBackwards = True |
51 self.__findBackwards = True |
46 |
52 |
47 self.closeButton.setIcon(UI.PixmapCache.getIcon("close.png")) |
53 self.closeButton.setIcon(UI.PixmapCache.getIcon("close.png")) |