3974 |
3974 |
3975 def __quickSearchPrev(self): |
3975 def __quickSearchPrev(self): |
3976 """ |
3976 """ |
3977 Private slot to handle the quickFindPrev toolbutton action. |
3977 Private slot to handle the quickFindPrev toolbutton action. |
3978 """ |
3978 """ |
3979 self.__quickSearchInEditor(True, True) |
3979 # first we have to check if quick search is active |
|
3980 # and try to activate it if not |
|
3981 if self.__quickSearchToolbarVisibility is None: |
|
3982 self.__quickSearchToolbarVisibility = self.__quickSearchToolbar.isVisible() |
|
3983 if not self.__quickSearchToolbar.isVisible(): |
|
3984 self.__quickSearchToolbar.show() |
|
3985 if not self.quickFindtextCombo.lineEdit().hasFocus(): |
|
3986 aw = self.activeWindow() |
|
3987 self.quickFindtextCombo.lastActive = aw |
|
3988 if aw: |
|
3989 self.quickFindtextCombo.lastCursorPos = aw.getCursorPosition() |
|
3990 else: |
|
3991 self.quickFindtextCombo.lastCursorPos = None |
|
3992 tff = self.textForFind(False) |
|
3993 if tff: |
|
3994 self.quickFindtextCombo.lineEdit().setText(tff) |
|
3995 self.quickFindtextCombo.lineEdit().setFocus() |
|
3996 self.quickFindtextCombo.lineEdit().selectAll() |
|
3997 else: |
|
3998 self.__quickSearchInEditor(True, True) |
3980 |
3999 |
3981 def __quickSearchMarkOccurrences(self, txt): |
4000 def __quickSearchMarkOccurrences(self, txt): |
3982 """ |
4001 """ |
3983 Private method to mark all occurrences of the search text. |
4002 Private method to mark all occurrences of the search text. |
3984 |
4003 |