157 0, 0, self, 'search_widget_find_prev') |
157 0, 0, self, 'search_widget_find_prev') |
158 self.findPrevAct.triggered.connect(self.on_findPrevButton_clicked) |
158 self.findPrevAct.triggered.connect(self.on_findPrevButton_clicked) |
159 self.findPrevAct.setEnabled(False) |
159 self.findPrevAct.setEnabled(False) |
160 self.ui.findtextCombo.addAction(self.findPrevAct) |
160 self.ui.findtextCombo.addAction(self.findPrevAct) |
161 |
161 |
162 self.ensurePolished() |
162 self.adjustSize() |
163 msh = self.minimumSizeHint() |
|
164 self.resize(max(self.width(), msh.width()), |
|
165 max(self.height(), msh.height()) |
|
166 ) |
|
167 |
163 |
168 self.havefound = False |
164 self.havefound = False |
169 self.__pos = None |
165 self.__pos = None |
170 self.__findBackwards = False |
166 self.__findBackwards = False |
171 self.__selections = [] |
167 self.__selections = [] |
176 Protected method handling state changes. |
172 Protected method handling state changes. |
177 |
173 |
178 @param evt event containing the state change (QEvent) |
174 @param evt event containing the state change (QEvent) |
179 """ |
175 """ |
180 if evt.type() == QEvent.FontChange: |
176 if evt.type() == QEvent.FontChange: |
181 self.ensurePolished() |
177 self.adjustSize() |
182 msh = self.minimumSizeHint() |
|
183 self.resize(max(self.width(), msh.width()), |
|
184 max(self.height(), msh.height()) |
|
185 ) |
|
186 |
178 |
187 def __selectionBoundary(self, selections=None): |
179 def __selectionBoundary(self, selections=None): |
188 """ |
180 """ |
189 Private method to calculate the current selection boundary. |
181 Private method to calculate the current selection boundary. |
190 |
182 |
905 """ |
897 """ |
906 super(SearchReplaceSlidingWidget, self).__init__(parent) |
898 super(SearchReplaceSlidingWidget, self).__init__(parent) |
907 |
899 |
908 self.__searchReplaceWidget = \ |
900 self.__searchReplaceWidget = \ |
909 SearchReplaceWidget(replace, vm, self, True) |
901 SearchReplaceWidget(replace, vm, self, True) |
910 srHeight = self.__searchReplaceWidget.height() |
|
911 |
902 |
912 self.__layout = QHBoxLayout(self) |
903 self.__layout = QHBoxLayout(self) |
913 self.setLayout(self.__layout) |
904 self.setLayout(self.__layout) |
914 self.__layout.setContentsMargins(0, 0, 0, 0) |
905 self.__layout.setContentsMargins(0, 0, 0, 0) |
915 self.__layout.setAlignment(Qt.AlignTop) |
906 self.__layout.setAlignment(Qt.AlignTop) |
922 |
913 |
923 self.__scroller = QScrollArea(self) |
914 self.__scroller = QScrollArea(self) |
924 self.__scroller.setWidget(self.__searchReplaceWidget) |
915 self.__scroller.setWidget(self.__searchReplaceWidget) |
925 self.__scroller.setSizePolicy( |
916 self.__scroller.setSizePolicy( |
926 QSizePolicy.Expanding, QSizePolicy.Minimum) |
917 QSizePolicy.Expanding, QSizePolicy.Minimum) |
927 self.__scroller.setMaximumHeight(srHeight) |
|
928 self.__scroller.setFrameShape(QFrame.NoFrame) |
918 self.__scroller.setFrameShape(QFrame.NoFrame) |
929 self.__scroller.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOff) |
919 self.__scroller.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOff) |
930 self.__scroller.setHorizontalScrollBarPolicy(Qt.ScrollBarAlwaysOff) |
920 self.__scroller.setHorizontalScrollBarPolicy(Qt.ScrollBarAlwaysOff) |
931 self.__scroller.setWidgetResizable(False) |
921 self.__scroller.setWidgetResizable(False) |
932 |
922 |
938 |
928 |
939 self.__layout.addWidget(self.__leftButton) |
929 self.__layout.addWidget(self.__leftButton) |
940 self.__layout.addWidget(self.__scroller) |
930 self.__layout.addWidget(self.__scroller) |
941 self.__layout.addWidget(self.__rightButton) |
931 self.__layout.addWidget(self.__rightButton) |
942 |
932 |
943 self.setMaximumHeight(srHeight) |
933 self.setMaximumHeight(self.__searchReplaceWidget.sizeHint().height()) |
|
934 self.adjustSize() |
944 |
935 |
945 self.__searchReplaceWidget.searchListChanged.connect( |
936 self.__searchReplaceWidget.searchListChanged.connect( |
946 self.searchListChanged) |
937 self.searchListChanged) |
947 self.__leftButton.clicked.connect(self.__slideLeft) |
938 self.__leftButton.clicked.connect(self.__slideLeft) |
948 self.__rightButton.clicked.connect(self.__slideRight) |
939 self.__rightButton.clicked.connect(self.__slideRight) |
|
940 |
|
941 def changeEvent(self, evt): |
|
942 """ |
|
943 Protected method handling state changes. |
|
944 |
|
945 @param evt event containing the state change (QEvent) |
|
946 """ |
|
947 if evt.type() == QEvent.FontChange: |
|
948 self.setMaximumHeight( |
|
949 self.__searchReplaceWidget.sizeHint().height()) |
|
950 self.adjustSize() |
949 |
951 |
950 def findNext(self): |
952 def findNext(self): |
951 """ |
953 """ |
952 Public slot to find the next occurrence of text. |
954 Public slot to find the next occurrence of text. |
953 """ |
955 """ |