make search line completion case-sensitive. Removes an extremely ennoying behaviour which made it difficult to retry a search with different capitalization

Jean-Francois Dockes Jean-Francois Dockes 2013-05-22

changed src/qtgui/ssearch_w.cpp
src/qtgui/ssearch_w.cpp Diff Switch to side-by-side view
Loading...