mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
drawXPointerSavedHighlight() and onTapXPointerSavedHighlight were looping thru all credocuments highlights, which was expensive. Now, we first check with cheaper getPageFromXPointer() the highlights are on the current page before doing more expensive stuff. Closes #3503.