koreader/koreader — pull request #1087 by chrox (2014-11-06 03:08:34+00:00)
Title: add option to disable highlighting as well as dictionary lookup

This should also fix #973.