ViewManager/ViewManager.py

changeset 1134
9185e9dd52ef
parent 1131
7781e396c903
child 1149
ace5e56c36a1
equal deleted inserted replaced
1133:564b52bf5ea7 1134:9185e9dd52ef
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

eric ide

mercurial