mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Also fix a few crash possibilities when unhighlighting. Also fix bug with binary search that could not be able to remove bookmark when there are multiple bookmarks/highlights on the same page.