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