mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Fix various inconsitencies: some occurences not highlighted on displayed page; different occurences highlighted on same page wheter we went there searching backward or forward; pages with occurences simply just skipped when searching in one direction, and not in the other... To avoid edge cases, crengine will now give back results on up to 3 pages, that we need to filter. Bump base and crengine