Fix unable to change case for search queries

Fix unable to change the case of a previously used search because of the
search history.
This commit is contained in:
Kovid Goyal 2013-06-20 10:11:38 +05:30
parent 2f37913801
commit f964f512cf

View File

@ -197,7 +197,7 @@ class SearchBox2(QComboBox): # {{{
self.search.emit(text)
if store_in_history:
idx = self.findText(text, Qt.MatchFixedString)
idx = self.findText(text, Qt.MatchFixedString|Qt.MatchCaseSensitive)
self.block_signals(True)
if idx < 0:
self.insertItem(0, text)