mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Depending on the random ordering of bookmarks and highlights on a same page, the binary seach could not notice that a bookmark exists for this page. Solve this by putting bookmark before highlights on a same page in the list, and skip them when searching.