UI/SearchWidget.py

changeset 1830
f2fccb8c2ab4
parent 1823
21d988eaf1bf
child 1833
f7cd855680f1
--- a/UI/SearchWidget.py	Tue May 01 16:01:44 2012 +0200
+++ b/UI/SearchWidget.py	Tue May 01 18:01:13 2012 +0200
@@ -146,3 +146,15 @@
         self.__setSearchButtons(txt != "")
         
         self.show()
+    
+    def searchStringFound(self, found):
+        """
+        Public slot to indicate that the search string was found.
+        
+        @param found flag indicating success (boolean)
+        """
+        if found:
+            self.statusLabel.clear()
+        else:
+            txt = self.findtextCombo.currentText()
+            self.statusLabel.setText(self.trUtf8("'{0}' was not found.").format(txt))

eric ide

mercurial