mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Use both a whitelist for targeted widget repaints, a blacklist for no repaint at all, and a fallback for a full in-order ReaderUI repaint when unsure. Use a similar approach in ReaderHeader (i.e., prevent explicit refreshes while ReaderMenu is open). Re #9979, re #9768