mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
When the contents of the HtmlBoxWidget changed the page boxes were not invalidated, this resulted the highlight to show up at a wrong coordinate. Fixes #14013