ViewManager/ViewManager.py

branch
5_1_x
changeset 1135
ad5f054e2b2c
parent 1129
e97a9a2e445e
child 1151
b64cf188c5d7
equal deleted inserted replaced
1129:e97a9a2e445e 1135:ad5f054e2b2c
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

eric ide

mercurial