--- a/UI/SearchWidget.py Fri Oct 18 18:00:02 2013 +0200 +++ b/UI/SearchWidget.py Fri Oct 18 18:42:10 2013 +0200 @@ -95,7 +95,8 @@ self.findtextCombo.clear() self.findtextCombo.addItems(self.findHistory) - self.searchNext.emit(txt, + self.searchNext.emit( + txt, self.caseCheckBox.isChecked(), self.wordCheckBox.isChecked()) @@ -115,7 +116,8 @@ self.findtextCombo.clear() self.findtextCombo.addItems(self.findHistory) - self.searchPrevious.emit(txt, + self.searchPrevious.emit( + txt, self.caseCheckBox.isChecked(), self.wordCheckBox.isChecked())