UI/SearchWidget.py

changeset 1830
f2fccb8c2ab4
parent 1823
21d988eaf1bf
child 1833
f7cd855680f1
equal deleted inserted replaced
1829:fa72a573967f 1830:f2fccb8c2ab4
144 self.findtextCombo.setFocus() 144 self.findtextCombo.setFocus()
145 145
146 self.__setSearchButtons(txt != "") 146 self.__setSearchButtons(txt != "")
147 147
148 self.show() 148 self.show()
149
150 def searchStringFound(self, found):
151 """
152 Public slot to indicate that the search string was found.
153
154 @param found flag indicating success (boolean)
155 """
156 if found:
157 self.statusLabel.clear()
158 else:
159 txt = self.findtextCombo.currentText()
160 self.statusLabel.setText(self.trUtf8("'{0}' was not found.").format(txt))

eric ide

mercurial