mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Avoid highlights' xpointers to be recomputed when switching between page and scroll mode, which could make using "Auto-scroll when selection reaches a corner" really slow when having a large number of highlights. Closes #12156.