koreader/koreader — pull request #387 by chrox (2013-12-05 12:01:06+00:00)
Title: fix highlight drawing in #379

This PR relies on koreader/koreader-base#105.