adapt widgets to new refresh/repaint API

2025-08-10 00:52:38 +00:00 · 2014-11-30 00:12:00 +00:00
parent 229c5ad61c
commit 82c26b1f18
24 changed files with 127 additions and 93 deletions
--- a/frontend/apps/reader/modules/readerrolling.lua
+++ b/frontend/apps/reader/modules/readerrolling.lua
@@ -389,7 +389,7 @@ function ReaderRolling:updatePos()
        self.old_page = new_page
        self.ui:handleEvent(Event:new("UpdateToc"))
    end
-    UIManager.repaint_all = true
+    UIManager:setDirty(self.view.dialog, "partial")
 end

 --[[