mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
e21fe55042
They were indeed removed, but no full screen refresh was requested, so the highlights stayed visible.