koreader/koreader — pull request #1306 by hwhw (2014-11-30 00:20:27+00:00)
Title: Refresh refactoring, frontend/UIManager side

This changes the refresh API. The handling is only modified slightly. There now exists a queue of refresh requests. Requests are merged when overlapping. The only method to trigger a repaint and/or a refresh is now UIManager:setDirty(). Everything else is gone.