mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Was a hack anyway, c.f. https://github.com/koreader/koreader/pull/1306#discussion_r21057461 Seems to be not needed anymore. If some areas are now not refreshed anymore, that ought to be fixed in another place. This also gets rid of redundant screen flashes.