ViewManager/ViewManager.py

changeset 3069
8a9579bbf583
parent 3062
9de9373da5bb
child 3080
6c0a430b19df
child 3100
1c86bf655433
--- 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):

eric ide

mercurial