mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
ae7e2f14aa
With actual ReaderUI teardowns, and fix the overlapping highlight handling, so we can drop the nocov flags