koreader/koreader — pull request #781 by WS64 (2014-08-09 18:50:51+00:00)
Title: Add search options and remove one bug with searching

Sorry for the many pull requests!