--- a/ViewManager/ViewManager.py Sat Nov 09 15:23:52 2013 +0100 +++ b/ViewManager/ViewManager.py Sat Nov 09 17:46:01 2013 +0100 @@ -5180,9 +5180,13 @@ if self.quickFindtextCombo.lastActive: self.quickFindtextCombo.lastActive.setFocus() aw = self.activeWindow() - if aw and self.quickFindtextCombo.lastCursorPos: - aw.setCursorPosition(self.quickFindtextCombo.lastCursorPos[0], - self.quickFindtextCombo.lastCursorPos[1]) + if aw: + aw.hideFindIndicator() + if self.quickFindtextCombo.lastCursorPos: + aw.setCursorPosition( + self.quickFindtextCombo.lastCursorPos[0], + self.quickFindtextCombo.lastCursorPos[1]) + if self.__quickSearchToolbarVisibility is not None: self.__quickSearchToolbar.setVisible( self.__quickSearchToolbarVisibility) @@ -5253,6 +5257,8 @@ if not aw: return + aw.hideFindIndicator() + text = self.quickFindtextCombo.lineEdit().text() if not text and again: text = self.quickFindtextCombo.lastSearchText @@ -5286,6 +5292,9 @@ else: ok = aw.findFirst(text, False, False, False, True, not back, lineFrom, indexFrom) + if ok: + sline, sindex, eline, eindex = aw.getSelection() + aw.showFindIndicator(sline, sindex, eline, eindex) self.__quickSearchSetEditColors(not ok) def __quickSearchSetEditColors(self, error):